见侮而不斗,辱也。
--《公孙龙子》
:

数学机械化

数学机械化

作者: 吴文俊

出版社: 科学出版社

出版时间: 2003-3

价格: 58.00元

ISBN: 9787030107640

扫码右侧二维码

内容简介:

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

相关推荐

追问
2024-12-22 9.1k
长安的荔枝
2024-12-22 4.5k

评论

暂无评论
登录发表评论