Publication

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

Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, James H. Davenport Grant O. Passmore, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács (editor)

Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics (CICM-WS-2018) located at 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.

Abstract

This joint volume of proceedings gathers the papers from the workshops, Doctoral Program (DP) and Work in Progress (WiP) section of the 11th Conference on Intelligent Computer Mathematics (CICM), held August 13-17 2018 in RISC, Hagenberg, Austria. CICM has been held annually since 2008.

Weitere Links

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz