Skip to main content
  • Conference proceedings
  • © 2010

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

  • Up-to-date results

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

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

Conference series link(s): CICM: International Conference on Intelligent Computer Mathematics

Conference proceedings info: CICM 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (38 papers)

  1. Front Matter

  2. Contributions to Calculemus 2010

    1. Some Considerations on the Usability of Interactive Provers

      • Andrea Asperti, Claudio Sacerdoti Coen
      Pages 147-156
    2. Mechanized Mathematics

      • Jacques Carette
      Pages 157-157
    3. Formal Proof of SCHUR Conjugate Function

      • Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet
      Pages 158-171
    4. Symbolic Domain Decomposition

      • Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
      Pages 172-188
    5. A Formal Quantifier Elimination for Algebraically Closed Fields

      • Cyril Cohen, Assia Mahboubi
      Pages 189-203
    6. Computing in Coq with Infinite Algebraic Data Structures

      • César Domínguez, Julio Rubio
      Pages 204-218

Other Volumes

  1. Intelligent Computer Mathematics

Keywords

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

Editors and Affiliations

  • German Research Center for Artificial Intelligence Bremen, Germany

    Serge Autexier

  • Karlsruhe Institute of Technology, Germany

    Jacques Calmet

  • CEDRIC/CNAM, Paris, France

    David Delahaye

  • American Mathematical Society, Ann Arbor, USA

    Patrick D. F. Ion

  • INRIA Sophia-Antipolis, France

    Laurence Rideau

  • École Nationale Supérieure d’Informatique pour l’industrie et l’Entreprise, Evry, France

    Renaud Rioboo

  • School of Computer Science, Edgbaston, University of Birmingham, Birmingham, UK

    Alan P. Sexton

Bibliographic Information

  • Book Title: Intelligent Computer Mathematics

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

  • Editors: Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-14128-7

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Softcover ISBN: 978-3-642-14127-0Published: 30 June 2010

  • eBook ISBN: 978-3-642-14128-7Published: 29 June 2010

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XV, 471

  • Number of Illustrations: 71 b/w illustrations

  • Topics: Algebra, Artificial Intelligence

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions