Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science)

by Andrea Asperti, Bruno Buchberger (Editor), James Harold Davenport (Editor)

Members	Reviews	Popularity	Average rating	Conversations
4	None	3,429,302	None	None
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.… (more)

all members

▾Members

Recently added by

rpitchumani, PierreAnoid

▾Tags

information technology (1)

▾Lists

None

▾Will you like it?

▾Conversations (About links)

No current Talk conversations about this book.

▾Member reviews

No reviews

▾Published reviews

no reviews | add a review

▾Other authors

» Add other authors (2 possible)

Author name	Role	Type of author	Work?	Status
Andrea Asperti	—	primary author	all editions	calculated
Buchberger, Bruno	Editor	main author	all editions	confirmed
Davenport, James Harold	Editor	main author	all editions	confirmed

▾Series and work relationships

▾Awards and Honors

view history

▾Common Knowledge

You must log in to edit Common Knowledge data.

For more help see the Common Knowledge help page.

Canonical title

Original title

Alternative titles

Original publication date

People/Characters

Important places

Important events

Related movies

Epigraph

Dedication

First words

Quotations

Last words

Disambiguation notice

Publisher's editors

Blurbers

Original language

Canonical DDC/MDS

Canonical LCC

▾References

References to this work on external resources.

Wikipedia in English (1)

Mathematical diagram

▾Book descriptions

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.

▾Library descriptions

No library descriptions found.

▾LibraryThing members' description

Book description

Haiku summary