Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Borwein, Jonathan M. (Επιμελητής έκδοσης), Farmer, William M. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4108
• Θέματα: Computer science.; Computer communication systems.; Database management.; Information storage and retrieval.; Artificial intelligence.; Mathematics.; Computer Science.; Artificial Intelligence (incl. Robotics).; Information Storage and Retrieval.; Information Systems Applications (incl. Internet).; Database Management.; Computer Communication Networks.; Mathematics, general.

Πίνακας περιεχομένων:

• 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.