简介
本书介绍中国学者在定理机器证明上取得的突破性进展，描述了中国的方法和理论。
目录
绪 论
一 美梦成真――几何定理机器证明的吴方法浅谈
1 古老的追求
2 惊人的突破
……
二 雨后春笋――几何定理机器证明研究的新进展
1 他山之石――格若勃基方法
2 似是而非――举例证明几何定理
……
三 根深叶茂――非线性代数方程组符号求解研究
1 正其名――方程组的相关性
……
四 桃李满枝――数学机械化的应用
1 数学机械化纲领
……
附录一 机器证明及其应用项目总体规划
附录二 几何问题求解及其现实意义（摘要）――吴文俊在ATCM96大会上的邀请报告
参考文献
小词典
一 美梦成真――几何定理机器证明的吴方法浅谈
1 古老的追求
2 惊人的突破
……
二 雨后春笋――几何定理机器证明研究的新进展
1 他山之石――格若勃基方法
2 似是而非――举例证明几何定理
……
三 根深叶茂――非线性代数方程组符号求解研究
1 正其名――方程组的相关性
……
四 桃李满枝――数学机械化的应用
1 数学机械化纲领
……
附录一 机器证明及其应用项目总体规划
附录二 几何问题求解及其现实意义（摘要）――吴文俊在ATCM96大会上的邀请报告
参考文献
小词典
Theorem proving by machine and its application
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
