אנגלית ⇄ סינית +

mechanical theorem proving in geometry
.בינה	几何定理机器证明