| 標題: | 數學需要電腦與新數學基礎 |
| 作者: | 作者:渥伊沃茨基（Vladimir Voevodsky） 譯者:周樹靜 |
| 公開日期: | 15-Oct-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 |
| Appears in Collections: | Mathematics, Science, History, and Culture |
Files in This Item:
If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.
Loading...