期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
计算机数学的特点及其应用研究
被引量:
4
下载PDF
职称材料
导出
摘要
在对算法的研究中,计算机数学的作用较大,它是通过把数学与计算机学科融合在一起,然后形成的一门新学科。在算法研究中,离散数学可以为其提供分析工具。计算机数学的一个重要内容是从算法的角度对数学的多个分支进行研究。因此,对计算机数学的特点进行了阐述,并对计算机数学的应用进行了相关研究。
作者
曹佳明
机构地区
大连市育明高级中学
出处
《科技与创新》
2018年第1期96-97,共2页
Science and Technology & Innovation
关键词
计算机数学
计算机
程序设计
离散数学
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
10
参考文献
1
共引文献
8
同被引文献
17
引证文献
4
二级引证文献
2
参考文献
1
1
吴文俊.
数学机械化研究回顾与展望[J]
.系统科学与数学,2008,28(8):898-904.
被引量:9
二级参考文献
10
1
数学机械化研究报告(MM-Preprints),中科院数学机械化重点实验室,第1-26期,1987-2007,http://www.mmrc.iss.ac.cn/mmpreprints.
2
Chou S C. Mechanical Geometry Theorem Proving, D. Reidel, 1988.
3
Chou S C, Gao X S and Zhang J Z. Machine Proof in Geometry. World Scientific, Singapore, 1994.
4
Gao X S and Wang D M (eds). Mathematics Mechanization and Applications. Academic Press, 2000.
5
Li H. Invariant Algebras and Geometric Reasoning. World Scientific, Singapore, 2008.
6
Kapur D and Mundy J L (eds). Geometric Reasoning. MIT Press, 1989.
7
Wang D M. Elimination Methods. Soringer, Wien, 2000.
8
Basic Principles of Mechanical Theorem Proving in Geometries(英语翻译版),Springer,Wien,1994.
9
Wu W T. Mathematics Mechanization. Science Press/Kluwer Acad. Publisher, 2000.
10
数学机械化丛书.科学出版社,第1-11卷,2003-2007,http://www.mmrc.iss.ac.cn/mmbooks/.
共引文献
8
1
于健,蒋鲲.
《数学机械化》中组集合完备化定理的改进研究[J]
.大庆师范学院学报,2010,30(3):72-73.
2
何援军.
对几何计算的一些思考[J]
.上海交通大学学报,2012,46(2):167-171.
被引量:5
3
李红波,吴素萍,刘锐,杨军.
特征列求解的改进并行算法[J]
.计算机仿真,2012,29(11):189-193.
4
张传军,邹宇,郑焕,饶永生.
质点法在SGARP中的新实现[J]
.数学的实践与认识,2014,44(15):302-311.
被引量:1
5
何援军.
图学与几何[J]
.图学学报,2016,37(6):741-753.
被引量:7
6
郭礼权,付尧顺,郁文生.
基于Coq的第三代微积分机器证明系统[J]
.中国科学:数学,2021,51(1):115-136.
被引量:2
7
邹宇,彭翕成,饶永生.
基于吴方法的几何定理证明的恒等式方法[J]
.中国科学:数学,2021,51(1):289-300.
8
杨欣童.
论牛顿的数学机械化思想[J]
.理论数学,2023,13(4):829-838.
被引量:1
同被引文献
17
1
庄凯,庄德恩.
数学科学─科技与社会经济发展的动力[J]
.科学学研究,1994,12(4):27-31.
被引量:3
2
朱仁先.
试论高职计算机数学课程的建设[J]
.高等数学研究,2006,9(4):43-46.
被引量:10
3
蔡芝蔚.
计算机技术发展研究[J]
.电脑与电信,2008(2):54-55.
被引量:87
4
高小山.
计算机数学的发展与展望[J]
.中国科学院院刊,2012,27(2):189-196.
被引量:4
5
张邻.
浅议计算机算法中的数学方法研究[J]
.网络安全技术与应用,2014,0(12):200-201.
被引量:6
6
杨净.
关于计算机发展的思考[J]
.计算机光盘软件与应用,2014,17(24):136-137.
被引量:9
7
陶建华,刘瑞挺,徐恪,韩伟力,张华平,于剑,田丰,梁晓辉.
中国计算机发展简史[J]
.科技导报,2016,34(14):12-21.
被引量:10
8
杜雨豪.
数学方法在计算机算法中的应用探究[J]
.信息记录材料,2018,19(3):183-184.
被引量:5
9
王嵃灏,王文东.
基于遗传算法下计算机通信网络可靠性分析及优化的思考[J]
.中国新通信,2018,20(4):36-36.
被引量:5
10
张红军.
计算机编程优化中数学算法的作用分析[J]
.数码世界,2018,0(8):37-37.
被引量:3
引证文献
4
1
李羿阳.
计算机与数学的关系[J]
.高中生学习,2018,0(9):178-178.
2
牛静.
数学方法在计算机算法中的应用分析[J]
.卫星电视与宽带多媒体,2020,0(4):236-237.
被引量:2
3
金雨书.
数学教学与计算机数学实验研究[J]
.信息与电脑,2020,32(12):241-243.
4
王盼.
数学方法在计算机算法中的应用研究[J]
.信息与电脑,2020,32(18):58-60.
二级引证文献
2
1
王盼.
数学方法在计算机算法中的应用研究[J]
.信息与电脑,2020,32(18):58-60.
2
江小安.
核心素养视域下提升应用数学处理物理问题能力的探讨[J]
.中学理科园地,2021,17(2):7-9.
被引量:1
1
陈陆中.
小学数学学习特点对教学的影响[J]
.都市家教(上半月),2017,0(12):38-39.
2
陈明智.
农村英语教学生活化的研究[J]
.都市家教(上半月),2017,0(12):38-38.
3
朴春花.
浅谈提高低年级学生计算能力的方法[J]
.考试周刊,2017,0(88):107-107.
4
谭明洲.
刍议情景教学对小学数学教学的作用[J]
.纳税,2017,11(30):176-176.
被引量:1
5
顾炯.
论述高中数学教学中培养创新人才的策略[J]
.考试周刊,2017,0(45):100-100.
6
翁晨曦.
小学数学对中学数学的作用及其影响研究[J]
.成才之路,2017,0(33):70-70.
7
姬全禧.
初中七年级数学教学中多媒体教学的融入[J]
.新课程,2017,0(29):78-78.
8
郎鹏飞,刘刚,石庆峰,郑宏涛,谢泽兵.
基于蒙特卡洛仿真的伺服舵机功耗评估方法研究[J]
.计算机测量与控制,2017,25(11):276-279.
9
赵永新.
许晨阳:内心深处是数学[J]
.发明与创新(大科技),2017,0(12):22-23.
10
朱佳颖.
游戏中的数学感悟[J]
.都市家教(下半月),2017,0(10):103-103.
科技与创新
2018年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部