Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018
@proceedings{cicmws2018, editor = {Osman Hasan and Abdou Youssef and Adam Naumowicz and William M. Farmer and Cezary Kaliszyk and Diane Gallois-Wong and Florian Rabe and Gabriel Dos Reis and Grant O. Passmore, James H. Davenport and Markus Pfeiffer and Michael Kohlhase and Serge Autexier and Sofi\`ene Tahar and Thomas Koprucki and Umair Siddique and Walther Neuper and Wolfgang Windsteiger and Wolfgang Schreiner and Wolfram Sperber and Zoltán Kovács}, title = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018}, volume = {2307}, series = {CEUR Workshop Proceedings }, organization = {CEUR-WS.org}, month = {january}, year = {2019}, }