Advertisement

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
    7. David J. Jeffrey, Albert D. Rich
      Pages 234-246
  4. Contributions to MKM 2010

    1. Doron Zeilberger
      Pages 262-262
    2. Andrea Asperti, Enrico Tassi
      Pages 263-277
    3. Joseph B. Collins
      Pages 293-299
    4. Adam Grabowski, Christoph Schwarzweller
      Pages 300-314
    5. Bastiaan Heeren, Johan Jeuring
      Pages 315-330
    6. Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio
      Pages 331-335
    7. Open image in new window An Integrated Development Environment for Open image in new window Collections
      Constantin Jucovschi, Michael Kohlhase
      Pages 336-344
    8. Manfred Kerber
      Pages 345-354
    9. Andrea Kohlhase, Michael Kohlhase, Christoph Lange
      Pages 355-369
    10. Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev
      Pages 370-384
    11. Andriy Kovalchuk, Vyacheslav Levitsky, Igor Samolyuk, Valentyn Yanchuk
      Pages 385-397
    12. Alexander Lyaletski, Konstantin Verchinine
      Pages 411-426
    13. Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller
      Pages 427-439
    14. Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
      Pages 440-454
    15. Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers
      Pages 455-469
  5. Back Matter

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
  • Buy this book on publisher's site