CICM, Calculemus, MKM, GMDL, ...: Some Thoughts About Past and Future
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
CICM Conference 2018
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
Since I was involved in the beginning and evolution of Calculemus, MKM, Theorema, GMDL, SCSS, etc., I will compare the initial dreams with the current state and the dreams for the future of automated mathematics and software science.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung