「张景中」修訂間的差異檢視原始碼討論檢視歷史
| 行 1： | 行 1： | ||
{{cleanup|time=2019-08-23T08:11:28+00:00}} | {{cleanup|time=2019-08-23T08:11:28+00:00}} | ||
| − | + | '''张景中'''（1936年12月30日–）， 计算机科学家、数学家 ，出 生于[[ 河南]] 。1959年毕业于[[ 北京大学]] 数学力学系。[[ 中国科学院]][[ 成都]] 计算机应用研究所研究员、名誉所长，广州师范学院教育软件研究所所长。1995年当选为[[ 中国科学院]] 院士。 | |
| − | + | ||
| + | 提出和实现了定理机器证明的数值并行方法。把多年来在教育数学研究中所发展的几何新方法用于机器证明，并提出消点思想，创建了几何定理可读证明自动生成的原理和方法。用这个方法可在微机上快速地进行几何证明，计算和发明新定理，并给出易于理解的有几何意义的证明。发展了非线性振动技术。发展了几何算法的研究，解决了初等图形在欧氏空间嵌入等问题。开拓教育数学的研究，提出以面积为中心的几何教材新体系新方法极限概念的非e语言和连续归纳法将自动推理的成果和方法用于ICAI的研究，主持开发了新型智能理科教育软件。 | ||
[[Category:資訊科技人物]] | [[Category:資訊科技人物]] | ||
[[Category:数学家]] | [[Category:数学家]] | ||
於 2020年8月13日 (四) 22:20 的最新修訂
 | 此條目可能需要進行清理，以符合求真百科的品質標準。 (2019年8月23日) |
張景中（1936年12月30日–），計算機科學家、數學家，出生於河南。1959年畢業於北京大學數學力學系。中國科學院成都計算機應用研究所研究員、名譽所長，廣州師範學院教育軟件研究所所長。1995年當選為中國科學院院士。
提出和實現了定理機器證明的數值並行方法。把多年來在教育數學研究中所發展的幾何新方法用於機器證明，並提出消點思想，創建了幾何定理可讀證明自動生成的原理和方法。用這個方法可在微機上快速地進行幾何證明，計算和發明新定理，並給出易於理解的有幾何意義的證明。發展了非線性振動技術。發展了幾何算法的研究，解決了初等圖形在歐氏空間嵌入等問題。開拓教育數學的研究，提出以面積為中心的幾何教材新體系新方法極限概念的非e語言和連續歸納法將自動推理的成果和方法用於ICAI的研究，主持開發了新型智能理科教育軟件。