Opening book details…
Can I read Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings on EtoBox?
Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings by Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.) 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 : proceedings 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 : proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2003
- Language
- EN
- ISBN
- 9783540005681
- Category
- computer science
- Subjects
- Management, Mathematics, Science
- Updated
- 2026-03-25
Other editions & translations
- Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science, 2594) (2003)
- Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings (2007)
More by Andrew A. Adams (auth.), Andrea Asperti, Bruno Buchberger, James Harold Davenport (eds.)
Similar books
- 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)
- 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)
- Mathematical Knowledge Management: 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings (Lecture Notes in Computer Science) — Gregory J. Chaitin (auth.), Jonathan M. Borwein, William M. Farmer (2006)
- Integrated Formal Methods [recurso electrónico] 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings — Elvira Albert and Emil Sekerinski (2014)
- 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)
- Computational Methods in Systems Biology: First International Workshop, CMSB 2003 Rovereto, Italy, February 24–26, 2003 Proceedings — Amitai Regev, Ehud Shapiro (auth.), Corrado Priami (2003)