Coverart for item
The Resource Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings, Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)

Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings, Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)

Label
Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
Title
Mathematical knowledge management
Title remainder
second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
Statement of responsibility
Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Creator
Contributor
Subject
Genre
Language
eng
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
Member of
Cataloging source
COO
Dewey number
510/.285
Illustrations
illustrations
Index
index present
LC call number
QA76.95
LC item number
.I565 2003
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2003
http://bibfra.me/vocab/lite/meetingName
MKM 2003
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1953-
http://library.link/vocab/relatedWorkOrContributorName
  • Asperti, Andrea
  • Buchberger, Bruno
  • Davenport, James Harold
Series statement
Lecture notes in computer science,
Series volume
2594
http://library.link/vocab/subjectName
  • Mathematics
  • Information storage and retrieval systems
  • Automatic theorem proving
  • Informatique
  • Systèmes d'information
  • Théorèmes
  • MATHEMATICS
  • Automatic theorem proving
  • Information storage and retrieval systems
  • Mathematics
  • Wissensmanagement
  • Mathematik
  • RECUPERAÇÃO DA INFORMAÇÃO
  • INTELIGÊNCIA ARTIFICIAL
  • BANCO DE DADOS (PROJETO)
  • Bertinoro (2003)
Label
Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings, Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • proof-theoretic approach to hierarchical math library organization
  • 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
  • Kamal Aboul-Hosn and Terese Damhoj Andersen
  • 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
  • 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
Control code
619635303
Dimensions
unknown
Extent
1 online resource (x, 223 pages)
Form of item
online
Isbn
9781281116086
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 9783540005681
  • 10.1007/3-540-36469-2
  • 9786611391874
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
139187
Specific material designation
remote
System control number
(OCoLC)619635303
Label
Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings, Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • proof-theoretic approach to hierarchical math library organization
  • 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
  • Kamal Aboul-Hosn and Terese Damhoj Andersen
  • 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
  • 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
Control code
619635303
Dimensions
unknown
Extent
1 online resource (x, 223 pages)
Form of item
online
Isbn
9781281116086
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 9783540005681
  • 10.1007/3-540-36469-2
  • 9786611391874
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
139187
Specific material designation
remote
System control number
(OCoLC)619635303

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...