Mathematical Knowledge Management

5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings

308 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Mathematik und Naturwissenschaften Mathematik
• ISBN: 9783540371045
• Sprache: Englisch
• Erscheinungsdatum: 26.07.2006
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: William M. Farmer, Jonathan Borwein