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