MKM Journal

publication venue for

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