期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
数学的机械化
被引量:
2
原文传递
导出
摘要
数学沿着两个方向发展:数学逻辑化和数学机械化.数学机械化就是数学操作的机械化分解,使之成为简单的、单调的、刻板的、重复的动作组合.数学机械化以中国传统数学为正宗,随着电子计算机的兴盛,数学机械化重新被人怀念.在这一领域的研究中,中国数学家走在前列.
作者
王志健
机构地区
暨南大学
出处
《数学的实践与认识》
CSCD
北大核心
1989年第3期25-32,共8页
Mathematics in Practice and Theory
关键词
数学机械
还原方法
行为模拟
分类号
O143 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
20
引证文献
2
二级引证文献
5
同被引文献
20
1
翟铁倪.
选择题中的概率问题[J]
.数理统计与管理,1989,8(5):38-42.
被引量:5
2
戴世强.非线性力学问题的计算同代数研究[M].苏州:苏州大学出版社,1995.47-54.
3
陈之江.REDUCE语言简明教程[M].天津:南开大学出版社,1990.2.
4
衷任保 马建.计算机代数学[M].北京:科学出版社,1996.8.
5
沈凤仙.Mathematica手册[M].北京:科学出版社,1992.2.
6
朝鲁.吴-微分特征列集理论及其在微分方程对称和力学中的应用(学位论文)[M].大连:大连理工大学,1997..
7
董安明.Matematica高级编程人员示例参考[M].北京:学苑出版社,1994..
8
王志剑,数学的实践与认识,1989年,3期,25页
9
吴文俊,何定理与机器证明的基本原理,1984年
10
陶庆生,计算机代数及其应用,1991年,10页
引证文献
2
1
朝鲁,杨开宇,傅守忠.
计算机代数学及其软件系统[J]
.内蒙古大学学报(自然科学版),1999,30(3):396-403.
2
宋立新,刘影,王清.
关于单项选择题与多项选择题概率难度的比较[J]
.数理统计与管理,2001,20(1):30-32.
被引量:5
二级引证文献
5
1
陈畅.
历史学科多项选择题研究述评[J]
.历史教学(上半月),2010(10):59-65.
被引量:3
2
陶应奇.
关于单项选择与多项选择题分值确定的探讨[J]
.烟台师范学院学报(自然科学版),2002,18(1):67-71.
被引量:2
3
肖巧玲,叶永谦.
我国台湾学科能力测验中自然科学选择题的设置及评价[J]
.化学教育,2016,37(9):29-33.
被引量:4
4
马良,孙海英.
经典测试理论的改进策略及其实证研究[J]
.蚌埠学院学报,2017,6(1):1-4.
5
席仲恩.
在经典测试理论框架中重新定义项目难度[J]
.绍兴文理学院学报(自然科学版),2003,23(8):90-94.
被引量:1
1
康东升,曹玉平.
数学大师吴文俊的科学成就[J]
.天中学刊,2002,17(2):54-56.
2
蔡亮.
应用MATLAB研究弹簧摆的动力学行为[J]
.物理通报,2013,42(6):80-81.
被引量:1
3
吴聪颖,段芳莉,郭其超.
多尺度方法在微/纳接触行为模拟中的应用进展[J]
.材料导报,2011,25(15):145-149.
被引量:2
4
奚传智.
正定阵在计算n重广义积分上的应用[J]
.四川师范大学学报(自然科学版),1998,21(4):462-464.
5
Ahmed Mohamed Krima,Hesham Gehad Ibrahim.
Modeling and Simulation of Heat Transfer through an Electric Wire[J]
.Computer Technology and Application,2011,2(1):1-8.
6
王海斌.
小学数学教学中学生内驱力的培养[J]
.新课程学习(下),2014,0(9):37-37.
7
Pei Xin YE.
Lower Bound for Quantum Integration Error on Anisotropic Sobolev Classes[J]
.Acta Mathematica Sinica,English Series,2010,26(4):669-678.
8
张冬兰.
有效数学操作应注意“四个一致”[J]
.新教师,2017(1):48-49.
9
袁丽秋.
石墨烯-半导体复合催化剂性能增强研究[J]
.首都师范大学学报(自然科学版),2012,33(2):43-46.
被引量:2
10
焦小玉,姚若侠,楼森岳.
Approximate Homotopy Direct Reduction Method: Infinite Series Reductions to Perturbed mKdV Equations[J]
.Chinese Physics Letters,2009,26(4):7-10.
被引量:10
数学的实践与认识
1989年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部