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