Intelligent Computer Mathematics

9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

ISBN: 978-3-540-85109-7 (Print) 978-3-540-85110-3 (Online)

Table of contents (47 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Contributions to AISC 2008

    1. Invited Talks

      1. No Access

        Book Chapter

        Pages 1-1

        Symmetry and Search – A Survey

      2. No Access

        Book Chapter

        Pages 2-16

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

      Contributed Papers

      1. No Access

        Book Chapter

        Pages 17-23

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

      2. No Access

        Book Chapter

        Pages 24-37

        Case Studies in Model Manipulation for Scientific Computing

      3. No Access

        Book Chapter

        Pages 38-52

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

      4. No Access

        Book Chapter

        Pages 53-60

        AISC Meets Natural Typography

      5. No Access

        Book Chapter

        Pages 61-76

        The Monoids of Order Eight and Nine

      6. No Access

        Book Chapter

        Pages 77-92

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

      7. No Access

        Book Chapter

        Pages 93-108

        A Full First-Order Constraint Solver for Decomposable Theories

      8. No Access

        Book Chapter

        Pages 109-124

        Search Techniques for Rational Polynomial Orders

      9. No Access

        Book Chapter

        Pages 125-140

        Strategies for Solving SAT in Grids by Randomized Search

      10. No Access

        Book Chapter

        Pages 141-154

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

      11. No Access

        Book Chapter

        Pages 155-169

        Automated Model Building: From Finite to Infinite Models

      12. No Access

        Book Chapter

        Pages 170-183

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

      13. No Access

        Book Chapter

        Pages 184-190

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

      14. No Access

        Book Chapter

        Pages 191-205

        Increasing Interpretations

  3. Contributions to Calculemus 2008

    1. Invited Talk

      1. No Access

        Book Chapter

        Pages 206-216

        Validated Evaluation of Special Mathematical Functions

      Contributed Papers

      1. No Access

        Book Chapter

        Pages 217-231

        MetiTarski: An Automatic Prover for the Elementary Functions

      2. No Access

        Book Chapter

        Pages 232-245

        High-Level Theories

      3. No Access

        Book Chapter

        Pages 246-260

        Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL

previous Page of 3