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

 
9783540314301: Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers: 3863
Brossura
ISBN 10: 354031430X ISBN 13: 9783540314301
Casa editrice: Springer Berlin Heidelberg, 2008

Sinossi

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Session I: Foundations.- A Proof-Theoretic Approach to Hierarchical Math Library Organization.- An Exploration in the Space of Mathematical Knowledge.- Session II: Authoring.- Authoring Presentation for openmath.- Translating Mathematical Vernacular into Knowledge Repositories.- Assisted Proof Document Authoring.- Session III: Representations.- A Tough Nut for Mathematical Knowledge Management.- Textbook Proofs Meet Formal Logic – The Problem of Underspecification and Granularity.- Processing Textbook-Style Matrices.- Session IV: Proving.- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.- Impasse-Driven Reasoning in Proof Planning.- Literate Proving: Presenting and Documenting Formal Proofs.- Session V: MKManagement Tools.- Semantic Matching for Mathematical Services.- Mathematical Knowledge Browser with Automatic Hyperlink Detection.- A Database of Glyphs for OCR of Mathematical Documents.- Session VI: Documents.- Toward an Object-Oriented Structure for Mathematical Text.- Explanation in Natural Language of ?????-Terms.- Engineering Mathematical Knowledge.- Session VII: MKM Case Studies.- Computational Origami of a Morley’s Triangle.- Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study.- Gröbner Bases — Theory Refinement in the Mizar System.- Session VIII: Course Materials.- An Interactive Algebra Course with Formalised Proofs and Definitions.- Interactive Learning and Mathematical Calculus.- Session IX: Migration.- XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy.- Determining Empirical Characteristics of Mathematical Expression Use.- Transformations of MML Database’s Elements.- Translating a Fragment of Weak Type Theory into Type Theory with Open Terms.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Berlin Heidelberg
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
354031430X
ISBN 13 
9783540314301
Rilegatura
Copertina flessibile
Numero di pagine
420
Redattore
Kohlhase Michael
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania