mechanical geometry theorem proving
mechanical geometry theorem proving
力学几何定理证明
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
youdao
更多双语例句