CHINESE

王者之路: 机器证明及其应用

By 吴文俊; 张景中; 杨路; 侯晓荣; 刘卓军

Book information

Publisher
湖南科学技术出版社
Year
1999
ISBN
9787535728586
Language
chinese
Format
PDF
Filesize
4 MB (4368912 bytes)
Pages
221\220
Time added
2021-03-13 15:35:38

Description

绪 论 一 美梦成真――几何定理机器证明的吴方法浅谈 1 古老的追求 2 惊人的突破 …… 二 雨后春笋――几何定理机器证明研究的新进展 1 他山之石――格若勃基方法 2 似是而非――举例证明几何定理 …… 三 根深叶茂――非线性代数方程组符号求解研究 1 正其名――方程组的相关性 …… 四 桃李满枝――数学机械化的应用 1 数学机械化纲领 …… 附录一 机器证明及其应用项目总体规划 附录二 几何问题求解及其现实意义（摘要）――吴文俊在ATCM96大会上的邀请报告 参考文献 小词典

Similar books