Intelligent Computer Mathematics

10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

  • Serge Autexier
  • Jacques Calmet
  • David Delahaye
  • Patrick D. F. Ion
  • Laurence Rideau
  • Renaud Rioboo
  • Alan P. Sexton
Conference proceedings CICM 2010

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

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

Table of contents

  1. Front Matter
  2. Contributions to AISC 2010

  3. Contributions to Calculemus 2010

    1. Andrea Asperti, Claudio Sacerdoti Coen
      Pages 147-156
    2. Jacques Carette
      Pages 157-157
    3. Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet
      Pages 158-171
    4. Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
      Pages 172-188
    5. Cyril Cohen, Assia Mahboubi
      Pages 189-203
    6. César Domínguez, Julio Rubio
      Pages 204-218

About these proceedings

Keywords

algebra artificial intelligence computer algebra deduction systems formal deduction knowledge problem solving symbolic computation theorem proving

Editors and affiliations

  • Serge Autexier
    • 1
  • Jacques Calmet
    • 2
  • David Delahaye
    • 3
  • Patrick D. F. Ion
    • 4
  • Laurence Rideau
    • 5
  • Renaud Rioboo
    • 6
  • Alan P. Sexton
    • 7
  1. 1.German Research Center for Artificial Intelligence BremenGermany
  2. 2.Karlsruhe Institute of TechnologyGermany
  3. 3.CEDRIC/CNAMParisFrance
  4. 4.American Mathematical SocietyAnn ArborUSA
  5. 5.INRIA Sophia-AntipolisFrance
  6. 6.École Nationale Supérieure d’Informatique pour l’industrie et l’Entreprise, EvryFrance
  7. 7.School of Computer Science, EdgbastonUniversity of BirminghamBirminghamUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-14128-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-14127-0
  • Online ISBN 978-3-642-14128-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book