1) proof generator
证明生成器
2) Attest
[英][ə'test] [美][ə'tɛst]
证明,成绩
4) machine proof
机器证明
1.
Machine Proof to Theorems and Traditional Mathematical Concept;
定理机器证明与传统数学观
5) machine proving
机器证明
1.
Wu Method of machine proving can solve nonlinear equations effectively, and it has been applied to theoretical physics, computer science, mathematicsceience and robotics etc.
机器证明的吴方法能有效地解非线性方程组,已应用到理论论理、计算机科学、数学科学、机器人机构学等领域。
6) disconfirm
[英][,diskən'fə:m] [美][,dɪskən'fɝm]
证明不成立
补充资料：死生智证明
【死生智证明】
（术语）宿命通也。三明之一。
（术语）宿命通也。三明之一。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条