大家在查：数学文化蒙蒂克拉嘉量四棱锥帕普斯定理吴方法典型例证十五的月亮十六圆鸡鸣环食带

几何定理机器证明

网络mechanical theorem-proving in geometry; Mechanical geometry theorem proving

几何定理机器证明

几何定理机器证明

几何定理机器证明

mechanical theorem-proving in geometry

定理用英... ... Liapunov theorem of criterion 里雅普诺夫判别定理 mechanical theorem-proving in geometry 几何定理机器证明 ...

Mechanical geometry theorem proving

... ) mechanical geometric theorem proving 几何定理的机器证明 ) Mechanical geometry theorem proving 几何定理机器证明 ...

1

New development of theory and algorithms of mechanization of geometric theorem proving (gao xiaoshan as a main participant , 1997 )

几何定理机器证明理论与算法的新进展（主要参加者高小山，1997 ）

2

Mechanical Geometry Theorem Proving Based on The Elimination Method With Decoupling of Leading Terms For Polynomial Set

基于多项式组主项解耦消元法的几何定理机器证明

热词推荐

大家在看