数学机械化

出版者:科学出版社

作者:吴文俊

页数:380

出版时间:2003-3

价格:58.00元

装帧:精装

isbn号码:9787030107640

丛书系列:数学机械化丛书

图书标签:数学数学机械化吴文俊数理逻辑自动推理机器证明数学基础自然科学

《数学机械化》是围绕作者命名的"数学机械化"这一中心议题而陆续发表的一系列论文的综述。《数学机械化》试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。《数学机械化》分成三个部分:第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，《数学机械化》还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。

用户评价

吴文俊先生说过，从事数学研究，要有良好的思维方式，在思想观念上要有所突破。

吴文俊先生说过，从事数学研究，要有良好的思维方式，在思想观念上要有所突破。

吴文俊先生说过，从事数学研究，要有良好的思维方式，在思想观念上要有所突破。

吴文俊先生说过，从事数学研究，要有良好的思维方式，在思想观念上要有所突破。

吴文俊先生说过，从事数学研究，要有良好的思维方式，在思想观念上要有所突破。