Publications

Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics (CICM-WS-2018) co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018) August 13-17 Hagenberg Austria CEUR Workshop Proceedings 2307 CEUR-WS.org 1/2019.

In: Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Pages 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.