比如,我要证明 变量A≥变量B
用mathematica 计算 Reduce[{A<B}] 得出的结果是False
则 必有A≥B
在论文中 可以直接引用 mathematica 的证明吗?
楼主: supershenyu
|
1863
2
mathematica 的证明 是否可以直接用在论文中? |
博士生 27%
-
|
本帖被以下文库推荐
| ||
京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问:王进律师 知识产权保护声明 免责及隐私声明