Search: computer-aided proof

---

1. 2019 (170) 有朋自遠方來－專訪Ronald Graham 教授
   　 Retrieve PDF Format HTML 格式

    

2. 2016 (160) 需要十億年才能看完世界最長的數學證明
   　 Retrieve PDF Format HTML 格式

   李信明 

3. 2013 (145) 數學的進步
   　 Retrieve PDF Format HTML 格式

   陳木法 

4. 2011 (139) 有朋自遠方來— 專訪Philippe Flajolet教授
   　 Retrieve PDF Format HTML 格式

    

5. 2002 (104) Peter Lax演講—數學與計算
   　 Retrieve PDF Format

   Peter Lax 

6. 2001 (99) 用電腦證明組合恆等式
   　 Retrieve PDF Format

   柳柏濂 

7. 1996 (78) 數學美賞析(下)
   　 Retrieve PDF Format

   譚建國 

8. 1992 (64) 數學 = 證明?
   　 Retrieve PDF Format

   蕭文強 

9. 1991 (58) 有沒有10階有限射影平面
   　 Retrieve PDF Format

   蕭文強