Mathematical Knowledge Management
Subtitle: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science)
Contributors: Andrea Asperti (Editor); Bruno Buchberger (Editor); James Harold Davenport (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 10, 2003
Language: eng
Format: Paperback
Number of pages: 225
ISBN-13: 9783540005681
Subjects: Knowledge-based systems / expert systems; Information storage and retrieval systems; Congresses; Computer Books: General; Computers; Information storage and retrie; Information Storage & Retrieval; Data processing; Computer Science; Discrete Mathematics; Computers / Information Storage & Retrieval; LaTeX; MathML; digitization; distributed libraries of mathematics; expert systems; mathematical information retrieval; semantic web; theorem descriptions; Automatic theorem proving; Mathematics
First sentence: In this paper we present an overview of the use of information technology in mathematics.