
作者:张景中 著
页数:598页
出版社:湖南教育出版社
出版日期:2016
ISBN:9787553943930
电子书格式:pdf/epub/txt
内容简介
本书收录了张院士和杨路研究员从1955年至今, 关于机器证明、动力系统、教育软件、教育数学和符号计算等方面公开发表的论文 ; 本书还收录了张先生最新的关于数学教材和数学科普的论文。
作者简介
张景中,中国科学院院士,著名数学家,计算机科学家,数学科普作家和数学教育学家。
杨路,研究员,博士生导师,主要从事计算机自动推理及智能软件技术的研究。1995年获中国科学院自然科学一等奖,1997年获国家自然科学二等奖。
本书特色
张景中、杨路两位先生是北京大学1954级数学力学系同学,自大学时代起就建立了深厚的友谊,也开始了他们在科学研究中的合作。青壮年时期他们历经20余年的磨难仍痴心不改,在当时及其恶劣的环境下仍通过书信等方式讨论数学问题。在长达60余年的岁月中,两位先生不仅在生活上互相关心、工作上相互促进,学术研究上更是紧密合作,在距离几何、动力系统、机器证明、教育软件、教育数学和科普创作等领域取得了卓越成就,得到了学术界和社会的高度认可,也铸成了两位先生长期并肩合作的佳话。















