Mathematical Knowledge Management

Proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006 Presents 22 carefully chosen revised full papers Topical sections include proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools