
The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in 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.
| kathryn v johnson jeffery deaver hamdy a taha andrew mcgill hans walter heldt | s v blakeslee deepa sn sudarshan s rynearson edward k m d vajpayee atal bihari |