Opening book details…
Can I read Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science, 2594) on EtoBox?
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science, 2594) by Andrea Asperti (editor), Bruno Buchberger (editor), James Harold Davenport (editor) is a computer science book available to read on EtoBox.
What is Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science, 2594) about?
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,
Who reads Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science, 2594)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Andrea Asperti (editor), Bruno Buchberger (editor), James Harold Davenport (editor)
- Publisher
- Springer Berlin
- Published
- 2003
- Language
- EN
- ISBN
- 9783540364696
- Category
- computer science
- Subjects
- Management, Mathematics, Science
- Updated
- 2026-03-25
More by Andrea Asperti (editor), Bruno Buchberger (editor), James Harold Davenport (editor)
Similar books
- Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science (2841)) — Martin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Paul Spirakis (auth.), Carlo Blundo, Cosimo Laneve (2003)
- Intelligent computer mathematics : 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 : proceedings — Andreas Distler, Muhammad Shah, Volker Sorge (auth.), James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (2011)
- Service-oriented Computing -- Icsoc 2003: First International Conference, Trento, Italy, December 15-18, 2003, Proceedings (lecture Notes In Computer Science) — Phillipa Oaks, Arthur H. M. ter Hofstede, David Edmond (auth.), Maria E. Orlowska, Sanjiva Weerawarana, Michael P. Papazoglou, Jian Yang (2003)
- Discrete Geometry for Computer Imagery: 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003, Proceedings (Lecture Notes in Computer Science) — Ralph Kopperman (auth.), Ingela Nyström, Gabriella Sanniti di Baja, Stina Svensson (2003)
- Algorithms and Complexity: 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings (Lecture Notes in Computer Science, 2653) — David Peleg (auth.), Rossella Petreschi, Giuseppe Persiano, Riccardo Silvestri (2003)
- Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science, 5213) — Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio (auth.), Michael Kaminski, Simone Martini (2008)