Book Volume 7961 2013

Intelligent Computer Mathematics

MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

ISBN: 978-3-642-39319-8 (Print) 978-3-642-39320-4 (Online)

Table of contents (33 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Calculemus

    1. No Access

      Chapter and Conference Paper

      Pages 1-18

      The Rooster and the Butterflies

    2. No Access

      Chapter and Conference Paper

      Pages 19-34

      Optimising Problem Formulation for Cylindrical Algebraic Decomposition

    3. No Access

      Chapter and Conference Paper

      Pages 35-50

      The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation

    4. No Access

      Chapter and Conference Paper

      Pages 51-65

      Certification of Bounds of Non-linear Functions: The Templates Method

    5. No Access

      Chapter and Conference Paper

      Pages 66-81

      Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy

    6. No Access

      Chapter and Conference Paper

      Pages 82-97

      A Universal Machine for Biform Theory Graphs

  3. MKM

    1. No Access

      Chapter and Conference Paper

      Pages 98-119

      Mathematical Practice, Crowdsourcing, and Social Machines

    2. No Access

      Chapter and Conference Paper

      Pages 120-135

      Automated Reasoning Service for HOL Light

    3. No Access

      Chapter and Conference Paper

      Pages 136-151

      Understanding Branch Cuts of Expressions

    4. No Access

      Chapter and Conference Paper

      Pages 152-167

      Formal Mathematics on Display: A Wiki for Flyspeck

    5. No Access

      Chapter and Conference Paper

      Pages 168-183

      Determining Points on Handwritten Mathematical Symbols

    6. No Access

      Chapter and Conference Paper

      Pages 184-199

      Capturing Hiproofs in HOL Light

    7. No Access

      Chapter and Conference Paper

      Pages 200-215

      A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory

    8. No Access

      Chapter and Conference Paper

      Pages 216-229

      Students’ Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System

  4. DML

    1. No Access

      Chapter and Conference Paper

      Pages 230-245

      Mathematics and the World Wide Web

    2. No Access

      Chapter and Conference Paper

      Pages 246-262

      Structural Similarity Search for Mathematics Retrieval

    3. No Access

      Chapter and Conference Paper

      Pages 263-277

      Towards Machine-Actionable Modules of a Digital Mathematics Library

    4. No Access

      Chapter and Conference Paper

      Pages 278-287

      A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions

    5. No Access

      Chapter and Conference Paper

      Pages 288-295

      Three Years of DLMF: Web, Math and Search

    6. No Access

      Chapter and Conference Paper

      Pages 296-309

      Escaping the Trap of Too Precise Topic Queries

previous Page of 2