数学问题机械化相关硕士博士期刊学术论文

数学问题机械化是指用计算机推理、证明、计算数学问题和定理。目前，世界各国都在积极地进行数学问题机械化的研究，比较著名的数学定......