Mathematical Knowledge Management数学知识管理

2006-09-14  

Springer  

Jonathan M. Borwein  

294  

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK in August 2006 as official satellite event of the International Congress of Mathematicians, ICM 2006. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.

Invited Talks The Omega Number: Irreducible Complexity in Pure Math Roles of Math Search in MathematicsContributed Papers Structured Induction Proofs in Isabelle/Isar Interpretation of Locales in Isabelle: Theories and Proof Contexts A Dynamic Poincare Principle A Proof-Theoretic Approach to Tactics A Formal Correspondence Between OMDoc with Alternative Proofs and the Caleulus 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 Prom 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 M M k Query Integrating Dynamic Geometry Software, Deduction Systems and Theorem RepositoriesAuthor Index

Mathematical Knowledge Management数学知识管理 PDF格式下载