5. MKM 2006:
Wokingham,
UK
Jonathan M. Borwein, William M. Farmer (Eds.):
Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings.
Lecture Notes in Computer Science 4108 Springer 2006, ISBN 3-540-37104-4 BibTeX
Invited Talks
Contributed Papers
- Makarius Wenzel:
Structured Induction Proofs in Isabelle/Isar.
17-30
Electronic Edition (link) BibTeX
- Clemens Ballarin:
Interpretation of Locales in Isabelle: Theories and Proof Contexts.
31-43
Electronic Edition (link) BibTeX
- Manfred Kerber:
A Dynamic Poincaré Principle.
44-53
Electronic Edition (link) BibTeX
- Kamal Aboul-Hosn:
A Proof-Theoretic Approach to Tactics.
54-66
Electronic Edition (link) BibTeX
- Serge Autexier, Claudio Sacerdoti Coen:
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.
67-81
Electronic Edition (link) BibTeX
- Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr:
Proof Transformation by CERES.
82-93
Electronic Edition (link) BibTeX
- Serge Autexier, Dominik Dietrich:
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.
94-109
Electronic Edition (link) BibTeX
- Chad E. Brown:
Verifying and Invalidating Textbook Proofs Using Scunak.
110-123
Electronic Edition (link) BibTeX
- Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki:
Capturing Abstract Matrices from Paper.
124-138
Electronic Edition (link) BibTeX
- Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge:
Towards a Parser for Mathematical Formula Recognition.
139-151
Electronic Edition (link) BibTeX
- Rimantas Rudzkis, Vaidas Balys, Michiel Hazewinkel:
Stochastic Modelling of Scientific Terms Distribution in Publications.
152-164
Electronic Edition (link) BibTeX
- Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns:
Capturing the Content of Physics: Systems, Observables, and Experiments.
165-178
Electronic Edition (link) BibTeX
- Andrea Kohlhase, Michael Kohlhase:
Communities of Practice in MKM: An Extensional Model.
179-193
Electronic Edition (link) BibTeX
- Luca Padovani, Stefano Zacchiroli:
From Notation to Semantics: There and Back Again.
194-207
Electronic Edition (link) BibTeX
- Andrew Aberdein:
Managing Informal Mathematical Knowledge: Techniques from Informal Logic.
208-221
Electronic Edition (link) BibTeX
- William Naylor, Julian A. Padget:
From Untyped to Polymorphically Typed Objects in Mathematical Web Services.
222-236
Electronic Edition (link) BibTeX
- Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge:
Managing Automatically Formed Mathematical Theories.
237-250
Electronic Edition (link) BibTeX
- Paul Libbrecht, Christian Gross:
Authoring LeActiveMath Calculus Content.
251-265
Electronic Edition (link) BibTeX
- Grzegorz Bancerek:
Information Retrieval and Rendering with.
266-279
Electronic Edition (link) BibTeX
- Pedro Quaresma, Predrag Janicic:
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.
280-294
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:30:06 2009
by Michael Ley (ley@uni-trier.de)
