Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Serge Autexier
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Campbell
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Julio Rubio
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Volker Sorge
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Masakazu Suzuki
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Freek Wiedijk
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5144)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CICM 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (47 papers)

  1. Front Matter

    Download chapter PDF

  2. Contributions to AISC 2008

    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
Back to top

Other volumes

  1. Intelligent Computer Mathematics

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation