原创 numpy和symja 的化簡能力都不強,爲什麼?

numpy (python) 和 symja (java) 都算是代數計算系統, 我試了下,它們做因式分解挺強的,但化簡能力欠佳。 哪位老師能解釋一下? >>> 化簡如下: (a+(a+b)^2)/(a^2+b^2+2*a*b)  當化簡

原创 【工具集:在線解方程、自動解題、科學計算】

一、自動解題:http://mathy.xyz (適合中學生)       功能:在線解方程、解方程組、因式分解、表達式化簡、邏輯表達式化簡... 二、數字帝國:https://zh.numberempire.com/       這個算

原创 AI 的標準:學習力和創造力

說大了高考機器人,說小了自動解方程都能和 AI扯上關係。 但一個產品究竟是不是AI 還是得去做技術分析才能夠確定。如果專家系統不能算作是AI的話,市面上大多數的自動化工具都不能算做是AI. 機器在對【感知】能力的模仿上已經取得了巨大的商業

原创 我眼中的機器智能(2020v1)

通過訓練,機器或能勝任一般性的編程任務,部分程序員會因此進化成爲工具操作員。 機器智能的技術理想是,在智力上接近普通人。因爲人的直覺和創造力難以模仿,所以需要經過反覆的訓練和調試才能夠接近這個理想。 機器如何訓練? >>> 機器直接閱讀學

原创 即使類有錯誤, 開發環境也能生成class文件,爲什麼?如何才能做到?JavaCompiler.java如何做到?

即使類有錯誤, 開發環境也能生成class文件,爲什麼? 如何才能做到?JavaCompiler.java如何做到? pls wechat:weilai345, 紅包感謝  

原创 編程工具:檢測永真永假分支

  tthp://mathy.xyz/tool/findBug.html   功能:檢測永真永假分支(網頁演示) 紅色標記永真分支:當執行到此處入口時,必會進入。 灰色標記永假分支:不會經過此處 | 不會進入此入口。 說明 參數類型:支持

原创 catch Throwable 和 catch Exception

此種情形下,要catch Throwable以確保異常被打印。 請自行嘗試以下代碼... class Throwable_demo { static void generate_throwable() { generate_thr

原创 Java 異常之:三步走

static void try_catch_finally_demo() { {//Java 異常之:三步走 int opt = 1; if (opt == 1) { try { } finally {

原创 Java SourceCode Parsing(Java源代碼分析器)

                                   Java源碼分析執行器(2009-5-1)(english version)    一、功能及模塊://抱歉,此項目雖然有意思,但未經整理,可讀性差,且處於停滯狀態。

原创 編程工具:把“Java代碼片斷” 變成 “可執行的類”

http://mathy.xyz/autoeq2/codeFragment_to_javaClass.html 功能:把“Java代碼片斷” 變成 “可執行的類” 輸出兩部分:調用端代碼、可執行類。   應用場景   項目中某些函數的代

原创 你對貝葉斯統計都有怎樣的理解?

作者:王衝 鏈接:https://www.zhihu.com/question/21134457/answer/40753337 Bayesian學派說概率是一個人對於一件事的信念強度,概率是主觀的。而頻率派是說概率是客觀的。所有能用客觀

原创 小工具:LaTeX 顯示 數學表達式

一、在線工具:http://mathy.xyz/latex.jsp 二、常用數學符號的 LaTeX 表示方法     http://www.mohu.org/info/symbols/symbols.htm 三、在線解方程、在線因式分解

原创 自動證明 vs 算法生成

【自動證明 vs 算法生成】    藝術的生命在乎想象,幾乎所有人的生命和情感都是寄放在想象中的。    在我的理解中,數學藉助於邏輯發現間接的數量關係,然後提出公式化的解決方案。    爲什麼機器難以理解一個證明過程?1. 數千年以來,

原创 推薦:數學小助手(在線解方程相關)

http://mathy.xyz/    推薦大家一個【數學小助手】, 適合於中小學生。 主要功能:在線解方程、解方程組、因式分解、表達式化簡(顯示步驟)... 可用來減輕師生在計算上的體力,提高解題速度。  

原创 Bush Farewell Address(2009)

...a broader struggle between two dramatically different systems. Under one,  a small band of fanatics demands total ob