Publications

Conference Proceedings

• Intelligent Computer Mathematics. Springer LNCS, No. 9150, 2015 (joint proceedings of CICM 2015).
• Intelligent Computer Mathematics. Springer LNCS, No. 8543, 2014 (joint proceedings of CICM 2014).
• Intelligent Computer Mathematics. Springer LNCS, No. 7961, 2013 (joint proceedings of CICM 2013).
• Intelligent Computer Mathematics. Springer LNCS, No. 7362, 2012 (joint proceedings of CICM 2012).
• Intelligent Computer Mathematics. Springer LNCS, No. 6824, 2011 (joint proceedings of CICM 2011).
• Intelligent Computer Mathematics. Springer LNCS, No. 6167, 2010 (joint proceedings of CICM 2010).
• Intelligent Computer Mathematics. Springer LNCS, No. 5625, 2009 (joint proceedings of CICM 2009).
• Intelligent Computer Mathematics. Springer LNCS, No. 5144, 2008 (joint proceedings of CICM 2008).
• Towards Mechanized Mathematical Assistants. Springer LNCS, No. 4573, 2007 (joint proceedings with Calculemus 2007).
• Mathematical Knowledge Management, MKM'06, Springer LNAI, No. 4108,, 2006.
• Mathematical Knowledge Management, MKM'05, Springer LNCS, No. 3863, 2006.
• 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