Symbolische Versöhnung, Der Standard, April 1997pdf link

Bruno Buchberger verknüpft die mathematische Grundlagenforschung mit wirtschaftlichen Anwendungen und will die reine Logik mit dem praktischen Rechnen integrieren: dank „symbolic computating“…