Vol-2307
urn:nbn:de:0074-2307-7




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 1)
Abdou Youssef 2)
Adam Naumowicz 3)
William Farmer 4)
Cezary Kaliszyk 5)
Diane Gallois-Wong 6)
Florian Rabe 7)
Gabriel Dos Reis 8)
Grant Passmore 9)
James Davenport 10)
Markus Pfeiffer 11)
Michael Kohlhase 12)
Serge Autexier 13)
Sofiene Tahar 14)
Thomas Koprucki 15)
Umair Siddique 16)
Walther Neuper 17)
Wolfgang Windsteiger 18)
Wolfgang Schreiner 19)
Wolfram Sperber 20)
Zoltán Kovács 21)

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





Table of Contents

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

Formal Mathematics for Mathematicians (FMM) (Short Papers)

Computer Algebra in the Age of Types (CAAT) (Short Papers)

Formal Verification of Physical Systems (FVPS)

29th OpenMath Workshop

The CICM 2018 Doctoral Program (Short Papers)

The Work in Progress Section of CICM 2018


2019-01-14: submitted by Osman Hasan, metadata incl. bibliographic data published under Creative Commons CC0
2019-01-16: published on CEUR-WS.org |valid HTML5|
{"cc_re__cc_re__cc_publicdomain_zero_1_0": ["class=\"CEURAUTHOR\">Felix Petersen</span>,\r\n<span class=\"CEURAUTHOR\">Moritz Schubotz</span>, \r\n<span class=\"CEURAUTHOR\">Bela Gipp</span>\r\n</li>\r\n\r\n<li id=\"WiP4\"><a href=\"WiP4.pdf\">\r\n<span class=\"AUXTITLE\">VMEXT2: A Visual Wikidata aware Content MathML Editor (short paper)</span></a><br>\r\n<span class=\"AUXAUTHOR\">Moritz Schubotz</span>\r\n</li>\r\n</ul>\r\n\r\n</div>\r\n\r\n\r\n<hr>\r\n<span class=\"unobtrusive\">\r\n2019-01-14: submitted by Osman Hasan, \r\n            metadata incl. bibliographic data published under <A HREF=\"http://creativecommons.org/publicdomain/zero/1.0/\">Creative Commons CC0</A><br>\r\n<span class=\"CEURPUBDATE\">2019-01-16</span>: published on CEUR-WS.org \r\n\t|<A HREF=\"https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-2307%2F\">valid HTML5</A>|\r\n</span>\r\n</body></html>\r\n"], "copyright__copyright__copyright": ["", "", ""]}