基本信息出版社：科学出版社
页码：380 页
出版日期：2003年03月
ISBN：7030107640
条形码：9787030107640
版本：第1版
装帧：精装
开本：32开
丛书名：数学机械化丛书

内容简介 本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
全书分成三个部分:第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。
本书可供数学工作者，数学及计算机专业高年级大学生相研究生以及有关工程人员参阅。
编辑推荐 本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
全书分成三个部分:第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。
本书可供数学工作者，数学及计算机专业高年级大学生相研究生以及有关工程人员参阅。
目录
第一部分 历史发展
第一章 古代(中国)多项式方程组求解
　　1.1 中国历史和中国古代数学典籍简述
　　1.2 中国古代解多项式方程的方法
　　1.3 古代外国的多项式方程解法和笛卡儿方案
第二章 几何定理证明的历史发展和古代的几何问题求解
……