| 標題: | 數學需要電腦與新數學基礎 |
| 作者: | 作者:渥伊沃茨基（Vladimir Voevodsky） 譯者:周樹靜 |
| 公開日期: | 15-十月-2016 |
| 出版社: | 國立交通大學丘成桐中心 |
| 摘要: | 用電腦輔證數學證明才能避免犯錯 |
| URI: | http://yaucenter.nctu.edu.tw/journal/20161025.php http://yaucenter.nctu.edu.tw/journal/201610/ch2/main1.php http://yaucenter.nctu.edu.tw/journal/picture201610.php?url=/journal/201610/ch2/%E6%95%B8%E7%90%86%E4%BA%BA%E6%96%87%E7%AC%AC10%E6%9C%9FP.54.pdf http://hdl.handle.net/11536/137351 |
| 期刊: | 數理人文 |
| Issue: | 10 |
| 顯示於類別： | 數理人文 |
文件中的檔案：
若為 zip 檔案，請下載檔案解壓縮後，用瀏覽器開啟資料夾中的 index.html 瀏覽全文。
Loading...