Book Cover
Author MKM 2003 (2003 : Bertinoro, Italy)

Title Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Published Berlin ; New York : Springer, ©2003


Description 1 online resource (x, 223 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 2594
Lecture notes in computer science ; 2594. 0302-9743
Contents proof-theoretic approach to hierarchical math library organization / Kamal Aboul-Hosn and Terese Damhoj Andersen -- exploration in the space of mathematical knowledge / Andrea Kohlhase and Michael Kohlhase -- Authoring presentation for OpenMath / Shahid Manzoor, Paul Libbrecht, Carsten Ullrich and Erica Melis -- Translating mathematical vernacular into knowledge repositories / Adam Grabowski and Christoph Schwarzweller -- Assisted proof document authoring / David Aspinall, Christoph Luth and Burkhart Wolff -- tough nut for mathematical knowledge management / Manfred Kerber and Martin Pollet -- Textbook proofs meet formal logic -- the problem of underspecification and granularity / Serge Autexier and Armin Fiedler -- Processing textbook-style matrices / Alan Sexton and Volker Sorge -- generic modular data structure for proof attempts alternating on ideas and granularity / Serge Autexier, Christoph Benzmuller, Dominik Dietrich, Andreas Meier and Claus-Peter Wirth -- Impasse-driven reasoning in proof planning / Andreas Meier and Erica Melis -- Literate proving : presenting and documenting formal proofs / Paul Cairns and Jeremy Gow -- Semantic matching for mathematical services / William Naylor and Julian Padget -- Mathematical knowledge browser with automatic hyperlink detection / Koji Nakagawa and Masakazu Suzuki -- database of glyphs for OCR of mathematical documents / Alan Sexton and Volker Sorge -- Toward an object-oriented structure for mathematical text / Fairouz Kamareddine, Manuel Maarek and J.B. Wells -- Explanation in natural language of [lambda][mu][mu]-terms / Claudio Sacerdoti Coen -- Engineering mathematical knowledge / Achim Mahnke and Jan Scheffczyk -- Computational origami of a Morley's triangle / Tetsuo Ida, Hidekazu Takahashi and Mircea Marin -- Designing diagrammatic catalogues of types of basic interval equation : a case study / Zenon Kulpa
Summary This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory
Bibliography Includes bibliographical references and index
Subject Mathematics -- Data processing -- Congresses
Information storage and retrieval systems -- Mathematics -- Congresses
Automatic theorem proving -- Congresses
Computer science -- Mathematics -- Congresses
MATHEMATICS -- Discrete Mathematics.
Automatic theorem proving.
Information storage and retrieval systems -- Mathematics.
Mathematics -- Data processing.
Bertinoro (2003)
Genre/Form Electronic book
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Asperti, Andrea
Buchberger, Bruno
Davenport, James Harold, 1953-
LC no. 2003042408
ISBN 9783540364696