查詢結果列表

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

    蕭文強