CICM, Calculemus, MKM, GMDL, ...: Some Thoughts About Past and Future

Activity: Talk or presentation › Invited talk › science-to-science

Description

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.
Period15 Aug 2018
Event titleCICM Conference 2018
Event typeConference
LocationAustriaShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra

JKU Focus areas

  • Computation in Informatics and Mathematics