Vol-XXX
urn:nbn:de:0074-XXX-C

Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.



CICM-WS 2018
Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018


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.


Edited by

Osman Hasan *
Abdou Youssef **
Adam Naumowicz ***
William Farmer ****
Cezary Kaliszyk *****
Diane Gallois-Wong ******
Florian Rabe *******
Gabriel Dos Reis ********
Grant Passmore *********
James Davenport **********
Markus Pfeiffer ***********
Michael Kohlhase ************
Serge Autexier *************
Sofiene Tahar **************
Thomas Koprucki ***************
Umair Siddique ****************
Walther Neuper *****************
Wolfgang Windsteiger ******************
Wolfgang Schreiner *******************
Wolfram Sperber ********************
Zoltán Kovács *********************

* National University of Sciences and Technology, School of Electrical Engineering and Computer Science, Islamabad, Pakistan
** The George Washington University , School of Engineering and Applied Science, Washington, DC 20052, USA
*** University of Białystok, Poland
*** McMaster University, Department of Computing and Software, Hamilton, Ontrio L8S 4K1, Canada
***** University of Innsbruck, Innsbruck, Austria
****** University Paris Sud, Laboratoire de Recherche en Informatique, Paris, France and Inria, Toccata, France
******* Univerity Paris Sud, LRI Paris, Paris, France and University of Erlangen, knowledge representation group, Schloßplatz 4, 91054 Erlangen, Germany
******** Microsoft Research
********* Aesthetic Integration, London
********** Univeristy of Bath, Computer Science and Mathematical Sciences, UK
*********** University of St Andrews, St Andrews, Fife, Scotland
************ Carnegie Mellon University, School of Computer Science, Fife, Scotland
************* DFKI, Research Department Cyber-Physical Systems, Bremen, Germany
************** Concordia University, Montreal, QC, Canada
*************** Weierstrass Institute, Mohrenstr. 39 10117 Berlin, Germany
**************** Waterloo Technical Center (WTC), BorgWarner, Canada
***************** Graz University of Technology, Rechbauerstraße 12, 8010 Graz, Austria
****************** Johannes Kepler University, Research Institute for Symbolic Computation, Altenberger Straße 69, A-4040 Linz, Austria
******************* Johannes Kepler University, Altenberger Straße 69, A-4040 Linz, Austria
******************** FIZ Karlsruhe - Leibniz Institute for Information Infrastructure, Karlsruhe, Germany
********************* Private University of Education Diocese Linz, Salesianumweg 3, 4020 Linz, Austria




Table of Contents

Computer Mathematics in Education - Enlightenment or Incantation (CME-EI)

Formal Mathematics for Mathematicians (FMM)

Computer Algebra in the Age of Types (CAAT)

Formal Verification of Physical Systems (FVPS)

Mathematical Models and Mathematical Software as Research Data 2018 (M3SRD)

29th OpenMath Workshop

The CICM 2018 Doctoral Program

The Work in Progress Section of CICM 2018

2018-MM-DD: submitted by Osman Hasan, metadata incl. bibliographic data published under Creative Commons CC0
2018-mm-dd: published on CEUR-WS.org |valid HTML5|