This book constitutes the refereed proceedings of the 5th
International Conference on Mathematical Knowledge Management, MKM
2006, held in Wokingham, UK, August 2006. The book presents 22
revised full papers. Coverage extends to the mathematical knowledge
management at the intersection of mathematics, computer science,
library science, and scientific publishing. The papers are
organized in topical sections on proof representations, proof
processing, knowledge extraction, knowledge representation, as well
as systems and tools.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!