Asperti / Davenport / Buchberger | Mathematical Knowledge Management | Buch | 978-3-540-00568-1 | sack.de

Buch, Englisch, Band 2594, 230 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 371 g

Reihe: Lecture Notes in Computer Science

Asperti / Davenport / Buchberger

Mathematical Knowledge Management

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
2003
ISBN: 978-3-540-00568-1
Verlag: Springer Berlin Heidelberg

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Buch, Englisch, Band 2594, 230 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 371 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-00568-1
Verlag: Springer Berlin Heidelberg

Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics). 1 Andrew A. Adams MKMfromBooktoComputer:ACaseStudy.

Asperti / Davenport / Buchberger Mathematical Knowledge Management jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Asperti, Andrea
Davenport, James Harold
Buchberger, Bruno

Fachgebiete

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.