Intelligent Computer Mathematics

18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

ISBN: 978-3-642-22672-4 (Print) 978-3-642-22673-1 (Online)

Table of contents (30 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Calculemus 2011

    1. No Access

      Book Chapter

      Pages 1-14

      Enumeration of AG-Groupoids

    2. No Access

      Book Chapter

      Pages 15-29

      Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework

    3. No Access

      Book Chapter

      Pages 30-44

      Incidence Simplicial Matrices Formalized in Coq/SSReflect

    4. No Access

      Book Chapter

      Pages 45-57

      Proof Assistant Decision Procedures for Formalizing Origami

    5. No Access

      Book Chapter

      Pages 58-73

      Using Theorema in the Formalization of Theoretical Economics

    6. No Access

      Book Chapter

      Pages 74-89

      View of Computer Algebra Data from Coq

    7. No Access

      Book Chapter

      Pages 90-106

      Computer Certified Efficient Exact Reals in Coq

    8. No Access

      Book Chapter

      Pages 107-122

      A Foundational View on Integration Problems

    9. No Access

      Book Chapter

      Pages 123-132

      Efficient Formal Verification of Bounds of Linear Programs

  3. Mathematical Knowledge Management 2011

    1. No Access

      Book Chapter

      Pages 133-148

      Large Formal Wikis: Issues and Solutions

    2. No Access

      Book Chapter

      Pages 149-163

      Licensing the Mizar Mathematical Library

    3. No Access

      Book Chapter

      Pages 164-179

      Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

    4. No Access

      Book Chapter

      Pages 180-195

      Parsing and Disambiguation of Symbolic Mathematics in the Naproche System

    5. No Access

      Book Chapter

      Pages 196-211

      Interleaving Strategies

    6. No Access

      Book Chapter

      Pages 212-227

      Combining Source, Content, Presentation, Narration, and Relational Representation

    7. No Access

      Book Chapter

      Pages 228-243

      Indexing and Searching Mathematics in Digital Libraries

    8. No Access

      Book Chapter

      Pages 244-259

      Isabelle as Document-Oriented Proof Assistant

    9. No Access

      Book Chapter

      Pages 260-275

      Towards Formal Proof Script Refactoring

  4. CICM Systems and Projects

    1. No Access

      Book Chapter

      Pages 276-277

      mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library

    2. No Access

      Book Chapter

      Pages 278-280

      Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita

previous Page of 2