A prover for parallel numerical verification of a class of constructive geometry theorems,是什么意思_A prover for parallel numerical verification of a class of constructive geometry theorems,在线翻译_英语_读音_用法_例句