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
Conference proceedings CICM 2008

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
      3. John Charnley, Simon Colton
        Pages 261-265
      4. Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond
        Pages 285-295
      5. J. Santiago Jorge, Victor M. Gulias, Laura M. Castro
        Pages 296-299
      6. Laura I. Meikle, Jacques D. Fleuriot
        Pages 315-330
  4. Contributions to MKM 2008

    1. Invited Talks

    2. Contributed Papers

      1. David Aspinall, Ewen Denney, Christoph Lüth
        Pages 339-354
      2. Stefan Berghofer, Makarius Wenzel
        Pages 355-369
      3. Joseph B. Collins
        Pages 370-381
      4. Jonathan Stratford, James H. Davenport
        Pages 382-397
      5. Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes
        Pages 430-445
      6. Jónathan Heras, Vico Pascual, Julio Rubio
        Pages 446-461
      7. Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
        Pages 462-477
      8. John Howse, Gem Stapleton
        Pages 478-493
      9. Michael Kohlhase, Christine Müller, Florian Rabe
        Pages 504-519
      10. Paul Libbrecht, Cyrille Desmoulins, Christian Mercat, Colette Laborde, Michael Dietrich, Maxim Hendriks
        Pages 520-535
      11. Bruce R. Miller, Abdou Youssef
        Pages 536-542
      12. Heinrich Stamerjohanns, Michael Kohlhase
        Pages 574-582
      13. Konstantin Verchinine, Alexander Lyaletski, Andrei Paskevich, Anatoly Anisimov
        Pages 583-598
  5. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-540-85109-7
  • Online ISBN 978-3-540-85110-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site