Mitmachstation
Symbolische Mathematik: Wie kann man mit Formeln rechnen?

Naturwissenschaften

Mathematik

6 bis 10 Jahre, 10 bis 14 Jahre und ab 18 Jahre

Barrierefrei

Mit Zahlen rechnen – das lernt jedes Kind in der Schule. Aber es geht auch anders: Die Sprache der Mathematik kennt nicht nur Zahlen, sondern auch Formeln, Figuren, Theoreme und vieles mehr. Symbolisches Rechnen ist ein Forschungsgebiet, das sich damit beschäftigt, dem Computer die Sprache der Mathematik beizubringen. Wie das geht, das erfahren Sie an dieser Station.

Maximale Kapazität der Station: 6 Personen

Mathematiker:innen versuchen, Probleme zu lösen. Dazu werden die Probleme in die Sprache der Mathematik übersetzt. Ein Problem wie "Wieviel ist 1+1?" kann heute jede:r mit dem Taschenrechner ausrechnen. Aber wie findet ein Computer die Stammfunktion von x+tan(x)? Wie findet er eine einfache Formel für die Summe 1+2+...+n? Damit Computer solche Formeln (nicht Zahlen) "berechnen" bzw. sogar mathematische Theoreme bzw. Aussagen automatisch beweisen können, arbeiten die Forscher:innen am JKU Institut für Symbolisches Rechnen (RISC) an mathematischen Theorien und Algorithmen. An dieser Station können Sie erfahren, was heute schon möglich ist und wo die Schwierigkeiten liegen, Computer intelligenter zu machen.

Besucherinformation

Anfahrtsbeschreibung: Details zur Anreise finden Sie hier in der Infobox. Ausreichend gratis Parkmöglichkeiten sind vorhanden und am 24.04.2026 ausgewiesen.

Dieser Ausstellungsstandort ist barrierefrei zugänglich und verfügt über barrierefreie Toiletten.

Johannes Kepler Universität Linz, Institut für Symbolisches Rechnen (RISC)

Technisch-Naturwissenschaftliche Fakultät

Institut für Symbolisches Rechnen (RISC)

IT-Center

Softwarepark 35, 4232 Hagenberg

Softwarepark Hagenberg - IT Center

Route