theorem proving Automated theorem proving deals with generating proofs of mathematical theorems using computers. It is related to the simpler problem of proof verification, where computers certify that an existing proof is indeed valid.
theorem proving
数学辞典收录了4151条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。