本书收录了张院士和杨路研究员从1955年至今，关于机器证明、动力系统、教育软件、教育数学和符号计算等方面公开发表的论文；本书还收录了张先生最新的关于数学教材和数学科普的论文，论文具有丰富的史料价值，读者可以从论文中找到两位先生的严谨的科学精神和求真务实的科学方法。