Einzeltreffer — DigiBib

This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeManagement (MKM 2003), held 16–18 February 2003 in Bertinoro, Italy. Mathematical Knowledge Management is an exciting new ?eld at the int- section between mathematics and computer science. We need e?cient, new te- niques, based on sophisticated formal mathematics and software technology, to exploit the enormous knowledge available in current mathematical sources and to organize mathematical knowledge in a new way. On the other side, due to its verynature,therealmofmathematicalinformationlookslikethebestcandidate for testing innovative theoretical and technological solutions for content-based systems, interoperability, management of machine-understandable information, and the Semantic Web. The organizers are grateful to Dana Scott and Massimo Marchiori for agr- ing to give invited talks at MKM 2003.

November 2002 AndreaAsperti BrunoBuchberger JamesDavenport Conference Organization Andrea Asperti (Program Chair) Luca Padovani (Organizing Chair) Program Commitee A. Asperti (Bologna) P. D. F. Ion (Michigan) B. Buchberger (RISC Linz) Z. Luo (Durham) J. Caldwell (Wyoming) R. Nederpelt (Eindhoven) O. Caprotti (RISC Linz) M. Sofroniou (Wolfram Research Inc. ) J. Davenport (Bath) N. Soi?er (Wolfram Research Inc. ) W. M. Farmer (McMaster Univ. ) M. Suzuki (Kyushu) H. Geuvers (Nijmegen) N. Takayama (Kobe) T. Hardin (Paris 6) A. Trybulec (Bialystok) M. Hazewinkel (CWI Amsterdam) S. M. Watt (UWO) M. Kohlhase (CMU) B. Wegner (Berlin) Invited Speakers Massimo Marchiori (W3C, University of Venezia) Dana Scott (CMU) Additional Referees G. Bancerek R. Gamboa G. Jojgov P. Callaghan B. Han V. Prevosto D. Doligez Table of Contents Regular Contributions Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1 Andrew A. Adams MKMfromBooktoComputer:ACaseStudy . . . . . . . . . . . . . . . . . . . . . . .

Titel:	Mathematical knowledge management: second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
Autor/in / Beteiligte Person:	Asperti, Andrea. ; Buchberger, Bruno. ; Davenport, James Harold, 1953-
Reihe:	Lecture notes in computer science Lecture notes in computer science
Veröffentlichung:	Berlin ; New York : Springer, c2003., 2003
Medientyp:	Buch
Umfang:	x, 223 p. : ill. ; 24 cm.
ISBN:	978-3-540-00568-1 (print) ; 3-540-00568-4 (print)
Schlagwort:	Mathematics -- Data processing -- Congresses. Information storage and retrieval systems -- Mathematics -- Congresses. Automatic theorem proving -- Congresses. Computer science. Algebra -- Data processing. Database management. Information storage and retrieval systems. Artificial intelligence. Computer science -- Mathematics. Conference proceedings.
Sonstiges:	Nachgewiesen in: Harvard Library Bibliographic Dataset Sprachen: English Contents Note: Regular Contributions -- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics -- MKM from Book to Computer: A Case Study -- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls -- Managing Digital Mathematical Discourse -- NAG Library Documentation -- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions -- Problems and Solutions for Markup for Mathematical Examples and Exercises -- An Annotated Corpus and a Grammar Model of Theorem Description -- A Query Language for a Metadata Framework about Mathematical Resources -- Information Retrieval in MML -- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment -- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge -- On the Integrity of a Repository of Formalized Mathematics -- A Theoretical Analysis of Hierarchical Proofs -- Comparing Mathematical Provers -- Translating Mizar for First Order Theorem Provers -- Invited Talk -- The Mathematical Semantic Web. Document Type: Book Language: English Rights: This record is part of the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others, OCLC Online Computer Library Center, Inc. and the Library of Congress. Notes: Includes bibliographical references and index.

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.

Mathematical knowledge management: second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings