计算机推测相关硕士博士期刊学术论文 - 搜论网

计算机推测相关论文

实验数学对传统演绎数学的挑战与影响

20世纪70年代四色定理的计算机证明和90年代初实验数学的诞生，在数学界、哲学界引起了极大的振动。尤其是实验数学的产生，数学的基本......

期刊

实验数学现代数学计算机推测计算机证明数学真理观挑战 <Keyword>experiment mathematics modem math

看过本文同时还关注