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

  • Editors
  • Serge Autexier
  • John Campbell
  • Julio Rubio
  • Volker Sorge
  • Masakazu Suzuki
  • Freek Wiedijk

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5144)

Table of contents

  1. Front Matter
  2. Contributions to AISC 2008

    1. Invited Talks

    2. Contributed Papers

      1. Teguh Bharata Adji, Baharum Baharudin, Norshuhani Zamin
        Pages 17-23
      2. Jacques Carette, Spencer Smith, John McCutchan, Christopher Anand, Alexandre Korobkine
        Pages 24-37
      3. James H. Davenport
        Pages 53-60
      4. Andreas Distler, Tom Kelsey
        Pages 61-76
      5. Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp
        Pages 109-124
      6. Antti E. J. Hyvärinen, Tommi Junttila, Ilkka Niemelä
        Pages 125-140
      7. Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
        Pages 170-183
      8. Harald Zankl, Aart Middeldorp
        Pages 191-205
  3. Contributions to Calculemus 2008

    1. Invited Talk

      1. Franky Backeljauw, Stefan Becuwe, Annie Cuyt
        Pages 206-216
    2. Contributed Papers

      1. Behzad Akbarpour, Lawrence C. Paulson
        Pages 217-231
      2. Jacques Carette, William M. Farmer
        Pages 232-245

About these proceedings


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-85109-7
  • Online ISBN 978-3-540-85110-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book