檢視张景中的原始碼

{{cleanup|time=2019-08-23T08:11:28+00:00}}
'''张景中'''（1936年12月30日–），计算机科学家、数学家，出生于[[河南]]。1959年毕业于[[北京大学]]数学力学系。[[中国科学院]][[成都]]计算机应用研究所研究员、名誉所长，广州师范学院教育软件研究所所长。1995年当选为[[中国科学院]]院士。 

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

[[Category:資訊科技人物]]
[[Category:数学家]]