19,447
次編輯
變更
张景中
,添加{{cleanup}}标记到条目
提出和实现了定理机器证明的数值并行方法。把多年来在教育数学研究中所发展的几何新方法用于机器证明,并提出消点思想,创建了几何定理可读证明自动生成的原理和方法。用这个方法可在微机上快速地进行几何证明,计算和发明新定理,并给出易于理解的有几何意义的证明。发展了非线性振动技术。发展了几何算法的研究,解决了初等图形在欧氏空间嵌入等问题。开拓教育数学的研究,提出以面积为中心的几何教材新体系新方法极限概念的非e语言和连续归纳法将自动推理的成果和方法用于ICAI的研究,主持开发了新型智能理科教育软件。
[[Category:資訊科技人物]]
[[Category:数学家]]