Mathematisches Wissen liegt im Kernbereich von Wissenschaft und Technologie und ist ein wesentlicher Innovationsfaktor. Allerdings wächst das verfügbare Wissen schneller als unsere Fähigkeit es zu organisieren und zu nutzen. Maschinelle Unterstützung durch symbolische (Software)-Systeme könnte...
