Progress report for FAU
M.Kohlhase
Reporting period from July 2018 to October 2018
Finance and administration
- under usage of resources
- overusage of PMs declared (we have hired student research assistants, but had to declare them as “researchers”; OKed by Nicolas)
Hiring
We have hired one researcher on a full position:
- Dr. Katja Bercic on November 1. 2018. to work on a general infrastructure on mathematical data bases using the MitM virtual theories framework.
Achievements
- getting the WP6 use cases to work in collaboration with St. Andrews, UPSud, and Warwick.
- first prototype of the new MathHub system based Drupal and React.JS. This system was working and online, but incurred too heavy maintenance load and was not flexible enough.
- fully integrated Jupyter into MathHub
- first prototype of TGview3D, a virtual-reality viewer for OMDoc/MMT theory graphs.
- Release 13 of MMT
Work in progress
- Further Development of MathHub to reach feature-completeness.
- Connecting PARI/GP to the MitM interoperability framework for extended GAP-based MitM use cases.
- generating Jupyter Notebooks for OMDoc/MMT theories and Documents.
- LURCH-based editing front-end for OMDoc/MMT (in collaboration with Nathan Carter on Sabbatical in St. Andrews)
Workshops and dissemination activities
- helped organize an OpenMath-themed workshop on Towards Composable Mathematical Software at ICMS 2018 in South Bend (Florian Rabe)
- Michael Kohlhase held the Keynote on the MitM Paradigm at the Workshop Computer Algebra in the Age of Types
- Workshop Mathematical Models and Mathematical Software as Research Data (M3SRD 2018) at CICM 2018 in August 2018
- OpenMath Workshop at CICM 2018 in August 2018.