Publications

Conference Proceedings

• 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