Mathematical Knowledge Management

Inhaltsverzeichnis

• Invited Talks.
• The Omega Number: Irreducible Complexity in Pure Math.
• Roles of Math Search in Mathematics.
• Contributed Papers.
• Structured Induction Proofs in Isabelle/Isar.
• Interpretation of Locales in Isabelle: Theories and Proof Contexts.
• A Dynamic Poincaré Principle.
• A Proof-Theoretic Approach to Tactics.
• A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus.
• Proof Transformation by CERES.
• Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge.
• Verifying and Invalidating Textbook Proofs Using Scunak.
• Capturing Abstract Matrices from Paper.
• Towards a Parser for Mathematical Formula Recognition.
• Stochastic Modelling of Scientific Terms Distribution in Publications.
• Capturing the Content of Physics: Systems, Observables, and Experiments.
• Communities of Practice in MKM: An Extensional Model.
• From Notation to Semantics: There and Back Again.
• Managing Informal Mathematical Knowledge: Techniques from Informal Logic.
• From Untyped to Polymorphically Typed Objects in Mathematical Web Services.
• Managing Automatically Formed Mathematical Theories.
• Authoring LeActiveMath Calculus Content.
• Information Retrieval and Rendering with MML Query.
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.