Calculemus 2001 Proceedings

Complete Proceedings as Printed

• The front cover (and inside front cover)(also as PDF)
• The main part containing all but one of the papers (also as PDF)
• The one remaining paper (also as PDF)

Individual Papers

Full Papers:

• Norbert Preining
  "Sketches in Affine Geometry". (also PDF)
  
• Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg
  "The algebraic hierarchy of the FTA project". (also PDF)
  
• Wolfgang Windsteiger
  "On a Solution of the Mutilated Checkerboard Problem Using the Theorema Set Theory Prover". (also PDF)
  
• Christoph Benzmueller, Mateja Jamnik, Manfred Kerber and Volker Sorge
  "An Agent-based Approach to Reasoning". (also PDF)
  
• Jürgen Zimmer, Alessandro Armando, and Corrado Geromini
  "Towards Mathematical Agents -- Combining MathWeb-SB and LBA". (also PDF)
  
• Johan Gijsbertus Frederik Belinfante
  "Discovering Theorems using GOEDEL: A Case Study". (also PDF)
  
• Walther A. Neuper
  "A Calculemus-approach' to high-school math ?". (also PDF)
  
• Martin Dunstan and Hanne Gottliebsen and Tom Kelsey and Ursula Martin
  "A Maple-PVS Interface". (also PDF)
  
• J.H.Davenport
  "Equality in Computer Algebra and Beyond". (also PDF)
  
• Alan M. Frisch, Ian Miguel and Toby Walsh
  "Extensions to Proof Planning for Generating Implied Constraints". (also PDF)
  
• Sylvain Boulm, Therese Hardin, Renaud Rioboo
  "Some hints for polynomials in the Foc project". (also PDF)
  
• Alessandro Armando, Michael Rusinowitch, and Sorin Stratulat
  "Incorporating Decision Procedures in Implicit Induction". (also PDF)
  

System Descriptions:

• Bernd Fischer, Thomas Pressburger, Grigore Rosu, Johann Schumann
  "The AutoBayes Program Synthesis System - System Description". (also PDF)
  
• Paul Libbrecht, Erica Melis, Carsten Ullrich
  "The Activemath Learning Environment, System Description". (also PDF)
  
• Temur Kutsia, Koji Nakagawa
  "System Description: Interface between Theorema and External Automated Deduction Systems". (also PDF)