[討論] mathematica的量詞太神了吧?

作者: alfadick (悟道修行者)   2014-02-15 13:36:25
我讀virtual book的時候,看到量詞、Reduce、Resolve這些函數,
我看了幾個範例,真的有嚇到,
並且我反應很快,馬上想到:真那麼神,那費馬定理不就可以輕鬆推出來嗎?
但因為我才剛學,寫起來超卡,就沒去實驗了。
結果剛才逛到官網範例,還真的有耶:(最最下面的那個箭頭,巧妙範例點進去)
http://reference.wolfram.com/mathematica/ref/FullSimplify.html
這到底是怎麼做到的?它背後的機制是真的用迴圈瘋狂去test嗎?
因為我看官網Reduce/Resolve的範例,真的蠻強大的...
並且ForAll, Exist是巢狀量詞,這些直接跟高等微積分的精髓有關
如果那麼有效,我不敢想像在高等微積分會多麼神威...
作者: biglion ( )   2014-02-15 16:45:00
tutorial/SomeNotesOnInternalImplementation 文件中Simplification(中文為"化簡")部分 有演算法的說明大多數指令的演算法都有提到
作者: alfadick (悟道修行者)   2014-02-15 18:56:00
原來如此,一切其來有自。集人類智力文明顛峰於此軟體大開眼界了
作者: ToMoveJizz ( )   2014-02-15 21:36:00
是識別而已吧?

Links booklink

Contact Us: admin [ a t ] ucptt.com