Book Volume 7362 2012

Intelligent Computer Mathematics

11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

ISBN: 978-3-642-31373-8 (Print) 978-3-642-31374-5 (Online)

Table of contents (38 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Mathematical Knowledge Management 2012

    1. No Access

      Chapter and Conference Paper

      Pages 1-16

      Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar

    2. No Access

      Chapter and Conference Paper

      Pages 17-31

      Proof, Message and Certificate

    3. No Access

      Chapter and Conference Paper

      Pages 32-48

      Challenges and Experiences in Managing Large-Scale Proofs

    4. No Access

      Chapter and Conference Paper

      Pages 49-64

      Semantic Alliance: A Framework for Semantic Allies

    5. No Access

      Chapter and Conference Paper

      Pages 65-80

      Extending MKM Formats at the Statement Level

    6. No Access

      Chapter and Conference Paper

      Pages 81-95

      A Streaming Digital Ink Framework for Multi-party Collaboration

    7. No Access

      Chapter and Conference Paper

      Pages 96-110

      Cost-Effective Integration of MKM Semantic Services into Editing Environments

    8. No Access

      Chapter and Conference Paper

      Pages 111-126

      Understanding the Learners’ Actions when Using Mathematics Learning Tools

    9. No Access

      Chapter and Conference Paper

      Pages 127-142

      Towards Understanding Triangle Construction Problems

    10. No Access

      Chapter and Conference Paper

      Pages 143-158

      A Query Language for Formal Mathematical Libraries

    11. No Access

      Chapter and Conference Paper

      Pages 159-168

      Abramowitz and Stegun – A Resource for Mathematical Document Analysis

    12. No Access

      Chapter and Conference Paper

      Pages 169-185

      Point-and-Write – Documenting Formal Mathematics by Reference

    13. No Access

      Chapter and Conference Paper

      Pages 186-201

      An Essence of SSReflect

  3. Calculemus 2012

    1. No Access

      Chapter and Conference Paper

      Pages 202-215

      Theory Presentation Combinators

    2. No Access

      Chapter and Conference Paper

      Pages 216-230

      Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging

    3. No Access

      Chapter and Conference Paper

      Pages 231-247

      Towards the Formal Specification and Verification of Maple Programs

    4. No Access

      Chapter and Conference Paper

      Pages 248-263

      Formalizing Frankl’s Conjecture: FC-Families

    5. No Access

      Chapter and Conference Paper

      Pages 264-279

      CDCL-Based Abstract State Transition System for Coherent Logic

    6. No Access

      Chapter and Conference Paper

      Pages 280-294

      Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases

  4. Artificial Intelligence and Symbolic Computation 2012

    1. No Access

      Chapter and Conference Paper

      Pages 295-309

      A System for Axiomatic Programming

previous Page of 2