Publications

Conference Proceedings

• Towards Mechanized Mathematical Assistants. Springer LNAI 4573 (joint proceedings with Calculemus 2007)
• Mathematical Knowledge Management, MKM'06, Springer LNAI, No. 4108., 2005
• Mathematical Knowledge Management, MKM'04, Springer LNCS, No. 3119., 2004
• Mathematical Knowledge Management, MKM'03, Springer LNCS, No. 2594., 2003
• MKM 2001 electronic proceedings, Special Issue of Annals of Mathematics and Artificial Intelligence