论文部分内容阅读
张景中,1936年12月生于河南汝南县。中科院院士、教授、博士生导师,任广州大学计算机教育软件研究所所长,中国科学院成都计算机应用研究所名誉所长,任华中师范大学国家数字化学习工程技术研究中心学术委员会主任,江西城市学院名誉校长、学术委员会主任。主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。主要贡献有:(一)提出了面积解题方法,并用之于机器证明的研究,使几何定
Zhang Jingzhong was born in Funan County, Henan Province in December 1936. Academician, Professor and Ph.D. Supervisor of Chinese Academy of Sciences, Director of Computer Education Software Research Institute of Guangzhou University, Honorary Director of Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Director of Academic Committee of National Digital Learning Engineering Technology Research Center of Huazhong Normal University, Honorary of Jiangxi City University Principal, Academic Director. It is mainly engaged in the fields of machine proof, educational mathematics, distance geometry and power system. The main contributions are: (a) proposes an area-solving method, which is used in the research of machine proof, and makes the geometric determination