Skip to main content
SpringerLink
Log in
Book cover
  • 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

Editors:

  1. Serge Autexier

    1. German Research Center for Artificial Intelligence Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jacques Calmet

    1. Karlsruhe Institute of Technology, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. David Delahaye

    1. CEDRIC/CNAM, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Patrick D. F. Ion

    1. American Mathematical Society, Ann Arbor, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Laurence Rideau

    1. INRIA Sophia-Antipolis, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Renaud Rioboo

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Alan P. Sexton

    1. School of Computer Science, Edgbaston, University of Birmingham, Birmingham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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.

Sections

Buy it now

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

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (38 papers)

  1. Front Matter

    PDF

  2. Contributions to AISC 2010

    1. The Challenges of Multivalued “Functions”

      • James H. Davenport
      Pages 1-12

    4. I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness

      • Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
      Pages 19-33

    5. Structured Formal Development with Quotient Types in Isabelle/HOL

      • Maksym Bortin, Christoph Lüth
      Pages 34-48

    6. Instantiation of SMT Problems Modulo Integers

      • Mnacho Echenim, Nicolas Peltier
      Pages 49-63

    7. On Krawtchouk Transforms

      • Philip Feinsilver, René Schott
      Pages 64-75

    10. How to Correctly Prune Tropical Trees

      • Jean-Vincent Loddo, Luca Saiu
      Pages 101-115

  3. 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
Back to top

Other Volumes

  1. Intelligent Computer Mathematics

Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation