数学机械化与自动推理平台
出处
《中国科学院院刊》
2002年第2期122-123,共2页
Bulletin of Chinese Academy of Sciences
-
1张传军,郑焕,邹宇.SGARP中全角法的实现[J].广西师范学院学报(自然科学版),2014,31(2):33-36.
-
2郑焕,张景中.可由用户持续发展的几何自动推理平台的推理算法[J].计算机应用,2011,31(8):2101-2104. 被引量:8
-
3李子明.前言[J].系统科学与数学,2012,32(8).
-
4赵喜清,米海英,章彦俊.“吴方法”在数学CAI中的应用与研究[J].河北北方学院学报(自然科学版),2006,22(3):74-77. 被引量:1
-
5段欣妤,郭妍,刘双双.简述《离散数学》在信息时代的作用[J].考试周刊,2008,0(12):59-60.
-
6杨路.计算机与智力:推理过程的机械化[J].广州大学学报(综合版),2001,15(2):7-10.
-
7王渝生.传统数学的机械化特征与21世纪数学的发展[J].科学中国人,2001(7):17-19.
-
8数学机械化的研究与应用[J].广州大学学报(自然科学版),2006,5(2).
-
9张景中,张传军,郑焕,饶永生,邹宇.SGARP中符号计算模块的实现及其应用[J].计算机研究与发展,2014,51(6):1341-1351.
-
10李子明(编),William Sit(W.谢特)(编),朱尧辰.计算机数学 ASCM2003论文集[J].国外科技新书评介,2005(7):1-2.
;