3376| 16
|
哪位大学听说过数学机械化 |
评分 | ||
吃,懒,躺,睡......
|
||
点评
谢谢大侠指点
| ||
| ||
| ||
| ||
点评
哥德尔不完备定理已经把这条路线毙掉了
这里说的并不是数值方法解偏微分方程,而是数学的符号化,抽象化
反正不是偏门,国家还有实验室,你可以网上查一下
| ||
吃,懒,躺,睡......
|
||
|小黑屋|手机版|Archiver|机械荟萃山庄
( 辽ICP备16011317号-1 )
GMT+8, 2025-4-8 16:38 , Processed in 0.111171 second(s), 27 queries , Gzip On.