標題: | 數學需要電腦與新數學基礎 |
作者: | 作者:渥伊沃茨基(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 |
顯示於類別: | 數理人文 |