吴文俊的机械化证明的主要思路是什么?用计算机程序怎么证明几何定理呢?

吴文俊的机械化证明的主要思路是什么?用计算机程序怎么证明几何定理呢? 综合机械化采煤的工艺是什么 高档普通机械化采煤的定义是什么 历史上有人用计算机给出了一个四色定理的证明,我想知道用计算机证明的思路是什么,有算法最好了.或者贴一个有这些东西的链接也可以. 美国和澳大利亚农业发展机械化的自然因素是什么 证明立体几何题的思路是什么? 证明切线主要思路 信息化战争的主导因素是什么?机械化战争的主导因素是什么? 信息化战争的主导因素是什么?机械化战争的主导因素是什么? 印度河平原的农业生产机械化吗 美国最早实行耕作机械化的农业区： 如何发展我国的机械化旱地农业 裂项相消公式的证明?如下：能从左往右证吗?思路是什么? 证明一条直线和平面垂直的思路是什么? 这种类型题主要的思路和方法是什么? 怎么用计算的方式证明1等于0.999999999999999 普通机械化采煤工艺和综合机械化采煤工艺的有何区别? 讲一下大致思路也可以，我用计算器算过，就是求一下大致的计算思路或者方法