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