mathematica 的证明是否可以直接用在论文中？

2143

收藏 2013-09-16

比如，我要证明变量A≥变量B
用mathematica 计算 Reduce[{A<B}] 得出的结果是False
则必有A≥B

在论文中可以直接引用 mathematica 的证明吗？

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

全部回复

2013-9-16 21:50:10

显然不行，你看到过那个期刊会有软件来证明的。

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

2013-9-17 21:43:07

kkwei 发表于 2013-9-16 21:50
显然不行，你看到过那个期刊会有软件来证明的。

谢谢！
不过我觉得有些奇怪。
计量处理的时候完全信赖软件，
证明却不可以用软件！

其实 mathematica得出的结论，是相当可靠的！！

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享