Intelligent Computer Mathematics

1. Front Matter

   PDF

2. Contributions to AISC 2008

   1. Invited Talks

      1. Symmetry and Search – A Survey

         • Steve Linton

         Pages 1-1

      2. On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra

         • Jochen Pfalzgraf

         Pages 2-16

   2. Contributed Papers

      1. Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System

         • Teguh Bharata Adji, Baharum Baharudin, Norshuhani Zamin

         Pages 17-23

      2. Case Studies in Model Manipulation for Scientific Computing

         • Jacques Carette, Spencer Smith, John McCutchan, Christopher Anand, Alexandre Korobkine

         Pages 24-37

      3. Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle

         • Peter Chapman, James McKinna, Christian Urban

         Pages 38-52

      4. AISC Meets Natural Typography

         • James H. Davenport

         Pages 53-60

      5. The Monoids of Order Eight and Nine

         • Andreas Distler, Tom Kelsey

         Pages 61-76

      6. Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation

         • Lucas Dixon, Ross Duncan

         Pages 77-92

      7. A Full First-Order Constraint Solver for Decomposable Theories

         • Khalil Djelloul

         Pages 93-108

      8. Search Techniques for Rational Polynomial Orders

         • Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp

         Pages 109-124

      9. Strategies for Solving SAT in Grids by Randomized Search

         • Antti E. J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

         Pages 125-140

      10. Towards an Implementation of a Computer Algebra System in a Functional Language

          • Oleg Lobachev, Rita Loogen

          Pages 141-154

      11. Automated Model Building: From Finite to Infinite Models

          • Nicolas Peltier

          Pages 155-169

      12. A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple

          • Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías

          Pages 170-183

      13. On the Construction of Transformation Steps in the Category of Multiagent Systems

          • Thomas Soboll

          Pages 184-190

      14. Increasing Interpretations

          • Harald Zankl, Aart Middeldorp

          Pages 191-205

3. Contributions to Calculemus 2008

   1. Invited Talk

      1. Validated Evaluation of Special Mathematical Functions

         • Franky Backeljauw, Stefan Becuwe, Annie Cuyt

         Pages 206-216

   2. Contributed Papers

      1. MetiTarski: An Automatic Prover for the Elementary Functions

         • Behzad Akbarpour, Lawrence C. Paulson

         Pages 217-231

      2. High-Level Theories

         • Jacques Carette, William M. Farmer

         Pages 232-245

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.

• Artificial intelligence
• ants
• computer
• computer algebra
• intelligence
• knowledge
• knowledge management
• proving

Policies and ethics