In diesem Sammelband werden die neuesten Ideen zur automatisierten Mathematikassistenz präsentiert – von symbolischer Manipulation über interaktive Beweissysteme bis zu kollaborativen Plattformen, und ihre Rolle in Forschung und Lehre beleuchtet.