熱門搜尋
您輸入的關鍵字: 高小山
搜尋結果共 2 筆, 頁數 1 / 1
呈現:
主要包括兩部分內容:一是對MMP的基本功能的介紹,主要是前三章;二是通過MMP的實例介紹了數學機械化的基本理論與最新進展,特別是方程求解與機器證明方面的結果。第四章介紹了多項式系統,常微分系統,偏微分... more