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


文件中的檔案:

  1. yaucenter-161011.pdf