查詢結果列表
Search: computer-aided proof
-
2019 (170)
有朋自遠方來-專訪Ronald Graham 教授
Retrieve PDF Format
HTML 格式
-
2016 (160)
需要十億年才能看完世界最長的數學證明
Retrieve PDF Format
HTML 格式
李信明
-
2013 (145)
數學的進步
Retrieve PDF Format
HTML 格式
陳木法
-
2011 (139)
有朋自遠方來— 專訪Philippe Flajolet教授
Retrieve PDF Format
HTML 格式
-
2002 (104)
Peter Lax演講—數學與計算
Retrieve PDF Format
Peter Lax
-
2001 (99)
用電腦證明組合恆等式
Retrieve PDF Format
柳柏濂
-
1996 (78)
數學美賞析(下)
Retrieve PDF Format
譚建國
-
1992 (64)
數學 = 證明?
Retrieve PDF Format
蕭文強
-
1991 (58)
有沒有10階有限射影平面
Retrieve PDF Format
蕭文強