MKM

Keyphrases

Publications

2006

William Naylor, Julian A. Padget
From Untyped to Polymorphically Typed Objects in Mathematical Web Services. MKM (2006)
Andrew Aberdein
Managing Informal Mathematical Knowledge: Techniques from Informal Logic. MKM (2006)
Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge
Managing Automatically Formed Mathematical Theories. MKM (2006)
Paul Libbrecht, Christian Gross
Authoring LeActiveMath Calculus Content. MKM (2006)
Kamal Aboul-Hosn
A Proof-Theoretic Approach to Tactics. MKM (2006)
Rimantas Rudzkis, Vaidas Balys, Michiel Hazewinkel
Stochastic Modelling of Scientific Terms Distribution in Publications. MKM (2006)
Gregory J. Chaitin
The Omega Number: Irreducible Complexity in Pure Math. MKM (2006)
Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns
Capturing the Content of Physics: Systems, Observables, and Experiments. MKM (2006)
Pedro Quaresma, Predrag Janicic
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. MKM (2006)
Abdou Youssef
Roles of Math Search in Mathematics. MKM (2006)
Andrea Kohlhase, Michael Kohlhase
Communities of Practice in MKM: An Extensional Model. MKM (2006)
Luca Padovani, Stefano Zacchiroli
From Notation to Semantics: There and Back Again. MKM (2006)
Manfred Kerber
A Dynamic Poincaré Principle. MKM (2006)
Makarius Wenzel
Structured Induction Proofs in Isabelle/Isar. MKM (2006)
Serge Autexier, Claudio Sacerdoti Coen
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM (2006)
Chad E. Brown
Verifying and Invalidating Textbook Proofs Using Scunak. MKM (2006)
Grzegorz Bancerek
Information Retrieval and Rendering with. MKM (2006)
Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr
Proof Transformation by CERES. MKM (2006)
Clemens Ballarin
Interpretation of Locales in Isabelle: Theories and Proof Contexts. MKM (2006)
Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
Capturing Abstract Matrices from Paper. MKM (2006)
Serge Autexier, Dominik Dietrich
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM (2006)
Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge
Towards a Parser for Mathematical Formula Recognition. MKM (2006)

volume 4108, 2006

Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings MKM 4108 (2006)

volume 3863, 2006

Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers MKM 3863 (2006)

2005