Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2010

Overview

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)

Included in the following conference series:

Conference proceedings info: CICM 2010.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (38 papers)

  1. Front Matter

    Download chapter PDF

  2. Contributions to AISC 2010

    1. The Challenges of Multivalued “Functions”

      • James H. Davenport
      Pages 1-12

    2. The Dynamic Dictionary of Mathematical Functions

      • Bruno Salvy
      Pages 13-13

    3. A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

      • Jacques Calmet, John A. Campbell
      Pages 14-18

    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

    8. A Mathematical Model of the Competition between Acquired Immunity and Virus

      • Mikhail K. Kolev
      Pages 76-88

    9. Some Notes upon “When Does \(<{\mathbb T}>\) Equal Sat \(({\mathbb T})\)?”

      • Yongbin Li
      Pages 89-100

    10. How to Correctly Prune Tropical Trees

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

    11. From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals

      • Salvador Lucas
      Pages 116-131

    12. Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

      • Josef Urban, Geoff Sutcliffe
      Pages 132-146

  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

    7. Formally Verified Conditions for Regularity of Interval Matrices

      • Ioana Paşca
      Pages 219-233
Back to top

Other volumes

  1. Intelligent Computer Mathematics

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation