Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : MKM 2003 (2003 ; Bertinoro, Italy)
Titre(s) : Mathematical knowledge management [Texte électronique] : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Publication : Berlin ; New York : Springer, cop. 2003
Description matérielle : 1 online resource (x, 223 pages)
Collection : Lecture notes in computer science ; 2594
Note(s) : Includes bibliographical references and index
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
Autre(s) auteur(s) : Asperti, Andrea. Fonction indéterminée
Buchberger, Bruno (1942-....). Fonction indéterminée
Davenport, James Harold (1953-....). Fonction indéterminée
Sujet(s) : Informatique
Logique mathématique
Intelligence artificielle
Informatique documentaire
Mathématiques -- Informatique
Théorèmes -- Démonstration automatique
Indice(s) Dewey :
510.285 (23e éd.) = Mathématiques - Applications informatiques
Identifiants, prix et caractéristiques : ISBN 9783540314318 . - ISBN 9783540364696
Identifiant de la notice : ark:/12148/cb44725347b
Notice n° :
FRBNF44725347
(notice reprise d'un réservoir extérieur)
Table des matières : 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 /A
