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.
|
|
Computer science -- Mathematics
|
|
Automatic theorem proving
|
|
Information storage and retrieval systems -- Mathematics
|
|
Mathematics -- Data processing
|
|
Wissensmanagement
|
|
Mathematik
|
|
RECUPERAÇÃO DA INFORMAÇÃO.
|
|
INTELIGÊNCIA ARTIFICIAL.
|
|
BANCO DE DADOS (PROJETO)
|
|
Bertinoro (2003)
|
Genre/Form |
proceedings (reports)
|
|
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 |
|
3540364692 |
|
9783540314318 |
|
3540314318 |
|
1281116084 |
|
9781281116086 |
|
3540005684 |
|
9783540005681 |
|