主要学术研究方向
机器证明、教育数学、距离几何及动力系统、计算可信实验研究等领域.
工作经历
现任广州大学计算机教育软件研究所研究员、名誉所长,中国科学院成都计算机应用研究所研究员、名誉所长。1958年起在中国科学院成都分院工作,任数理科学研究室主任、研究员;1979年之后先后在中国科技大学数学系和中国科学院成都计算机应用研究所工作。大学肄业后曾在北京清河农场和新疆巴州工作,致力于从事数学基础教育研究。
科研成果
提出和实现了定理机器证明的数值并行方法。把多年来在教育数学研究中所发展的几何新方法用于机器证明,并提出消点思想,创建了几何定理可读证明自动生成的原理和方法。用这个方法可在微机上快速地进行几何证明,计算和发明新定理,并给出易于理解的有几何意义的证明。发展了非线性振动技术。发展了几何算法的研究,解决了初等图形在欧氏空间嵌入等问题。开拓教育数学的研究,提出以面积为中心的几何教材新体系新方法极限概念的非e语言和连续归纳法将自动推理的成果和方法用于ICAI的研究,主持开发了新型智能理科教育软件。
链接——(1992年5月,张景中到了美国维奇塔大学。一个月后,他证明了近百条平面几何定理。最奇特的是,张景中采用的是古典几何的办法,这个简明的办法,却正好解决了当前世界上最复杂的机器证明问题。以后,张景中和高小山、杨路等一起把消点法推广到立体几何和非欧几何,在计算机上生成了一批非欧几何新定理的可读证明。)
获取的成就、荣誉及奖励
■成就
1.提出了面积解题方法,并用之于机器证明的研究,使几何定理可读证明的自动生成的难题得到突破。这项进展得到自动推理领域一些著名科学家的好评。美国机器证明新成就奖和麦卡锡程序检验奖获得者保义耳教授,在公开发表的或正式的评论中写道:“这是自动推理领域30年来最重要的工作,是计算机发展处理几何问题能力之路上的里程碑。”1996年,美国科学基金委员会在芝加哥组织了一次关于自动推理的学术讨论会,该会的主要报告中6次提到这项工作,并把它列为近年来自动推理的几项重要进展之一。
2.创立了计算机生成几何定理可读证明的原理和算法,这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”;创立了定理机器证明的数值并行方法的原理和算法;对几何定理机器证明的吴方法进行了改进和发展,创立了含参结式法,升列组的WR分解算法,彻底解决了可约升列相对分解问题。
3.开创了教育数学的思想、方法和体系,创建了中国教育数学学会,并担任学会的首届理事长;提出了智能教育平台的理念,策划并主持了Z+Z智能教育平台的研发工作。
4.主张把数学变得容易一些,致力于数学科普的创作。近年来,出版了数学科普作品20多种,科普文章70多篇,已超过200万字,多次在国家级评选中获奖。《十大网赌排行榜》由中国少年儿童出版社出版发行后第一年内就销售了3万册,这在我国科普图书市场上是非常罕见的,此后多次再版,几乎每年都要重印。台湾九章出版社以出版优秀数学著作为己任,但是一直经营惨淡,濒临破产,1995年引进《十大网赌排行榜》在台湾出版繁体字版本,一下子就发行了6万多册,在台湾创造了数学科普读物市场的奇迹,使九章出版社扭亏为盈,经济效益可见一斑。当代数学泰斗、世界数学大师陈省身在致张景中院士的信中,对该书表示“甚为欣赏”,并建议“似当译成英文”。陈省身的信影印在该书的扉页里。2005年本书以高票获得国家科技进步二等奖(科普作品最高奖),结束了科普著作无缘国家科技大奖的历史.
■荣誉
1991年被批准为享受国家特殊津贴的专家,1993年担任博士生导师,1995年当选为中国科学院院士,1997年当选为中共十五大代表,1998年被评选为全国优秀教师,同年获全国“五一”劳动奖章。
■奖励
⊙国家技术发明二等奖(1982年)
⊙“建国以来有突出贡献的科普作家”(1990年)
⊙中科院自然科学一等奖(1995年)
⊙“中国十大科普金作家”(1994)
⊙国家自然科学二等奖(1997年)
⊙全国科普图书类一等奖(2003年)
⊙国际技术发明金奖(2000年)
⊙第六届国家图书奖(2003年)
⊙国家科技进步二等奖(2003年)
⊙国家“五个一工程奖”(2003年)
担任的社会职务
①中国科学院信息技术科学部院士;
②计算机科学家、数学家、数学教育家、科普作家;
③中国科学技术协会委员、中国科普作家协会理事长;
④中国教育数学会理事长;
⑤十大网赌排行榜理事长、中国计算机学会名誉理事;
⑥中文核心期刊《十大网赌排行榜》杂志主编;
⑦广州大学计算机科学与教育软件学院名誉院长;
⑧教育部华中师大教育信息技术工程研究中心学术委员会主任;
⑨中国高等教育学会教育数学专业委员会理事长;
⑩成都市科学技术协会主席。