Mathematical Knowledge Management
Subtitle: 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Jonathan M. Borwein (Editor); William M. Farmer (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 14, 2006
Language: eng
Format: Paperback
Number of pages: 295
ISBN-13: 9783540371045
Subjects: Computing and Information Technology; Networking - General; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Database Management - General; Computers / Artificial Intelligence; LaTeX; MathML; OpenMath project; XML; e-learning; formal logic; formal mathematics; interactive algebra; mathematical encoding; mathematical knowledge management; mathematical knowledge representation; mathematical libraries