Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2006, 2006
|
| Edition: | 1st ed. 2006 |
| Series: | Lecture Notes in Artificial Intelligence
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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