+
 新版
2015-05-11 13:29
最近也对计算机代数着迷,那是计算机能力的金矿。
2015-05-10 16:05

引用来自“work3”的评论

去看看中国的吴文俊,是不是也很猛
+10086
2015-05-10 15:59
去看看中国的吴文俊,是不是也很猛
2015-05-10 14:37
一个很好的想法
2015-05-10 12:58
吴文俊在这方面有一些贡献。参看他的《数学机械化》
2015-05-10 11:51
呃,不知所云,即没有提到是怎么做的,也没有提到当前的进展,只是提出了一个思路就够发一篇新闻了?
2015-05-10 10:16
用于验证目的的计算机程序的数学模型还是来自数学~
2015-05-10 09:58
会帮上忙,希望不是倒忙
2015-05-10 09:35
验证一个观点是 否正确比提出一个观点所花的时间要多得多。唯一的解决方法只能是使用计算机程序去帮助检查,计算机正在改变数学的证明。
回复 @
{{emojiItem.symbol}}
返回顶部
顶部