數學需要電腦與新數學基礎
| dc.citation.issue | 10 | en_US |
| dc.contributor.author | 作者:渥伊沃茨基（Vladimir Voevodsky） | zh_TW |
| dc.contributor.author | 譯者:周樹靜 | zh_TW |
| dc.date.accessioned | 2017-08-07T02:45:38Z | |
| dc.date.available | 2017-08-07T02:45:38Z | |
| dc.date.issued | 2016-10-15 | en_US |
| dc.description.abstract | 用電腦輔證數學證明才能避免犯錯 | zh_TW |
| dc.identifier.journal | 數理人文 | zh_TW |
| dc.identifier.uri | http://yaucenter.nctu.edu.tw/journal/20161025.php | en_US |
| dc.identifier.uri | http://yaucenter.nctu.edu.tw/journal/201610/ch2/main1.php | en_US |
| dc.identifier.uri | 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 | en_US |
| dc.identifier.uri | https://ir.lib.nycu.edu.tw/handle/11536/137351 | |
| dc.language.iso | zh_TW | en_US |
| dc.publisher | 國立交通大學丘成桐中心 | zh_TW |
| dc.title | 數學需要電腦與新數學基礎 | zh_TW |
| dc.type | Campus Publications | en_US |