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. , 2012 (joint proceedings of CICM 2012).
• Intelligent Computer Mathematics. , 2011 (joint proceedings of CICM 2011).
• Intelligent Computer Mathematics. , 2010 (joint proceedings of CICM 2010).
• Intelligent Computer Mathematics. , 2009 (joint proceedings of CICM 2009).
• Intelligent Computer Mathematics. , 2008 (joint proceedings of CICM 2008).
• Towards Mechanized Mathematical Assistants. , 2007 (joint proceedings with Calculemus 2007).
• Mathematical Knowledge Management, MKM'06, , 2006.
• Mathematical Knowledge Management, MKM'05, , 2006.
• Mathematical Knowledge Management, MKM'04, , 2004
• Mathematical Knowledge Management, MKM'03, , 2003
• MKM 2001 electronic proceedings , Special Issue of Annals of Mathematics and Artificial Intelligence