几何定理机器证明英语怎么说

“几何定理机器证明”对应的英文单词有：mechanical geometry theorem proving ，一共1个，具体意思及用法如下：

mechanical geometry theorem proving几何定理机器证明