Inhalt

[ 403SYMR12 ] Subject h. Symbolic computation

Versionsauswahl
Es ist eine neuere Version 2018W dieses Fachs/Moduls im Curriculum Master's programme Industrial Mathematics 2018W vorhanden.
(*) Unfortunately this information is not available in english.
Workload Mode of examination Education level Study areas Responsible person Coordinating university
0-3 ECTS Structure M2 - Master's programme 2. year Mathematics Walter Zulehner Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Industrial Mathematics 2014S
Objectives (*)Beim Symbolischen Rechnen geht es um die Algorithmisierung und Automatisierung des mathematischen Analyse- und Lösungsprozesses. Ziel ist die Entwicklung exakter logischer Schlussverfahren und algebraischer Berechnungsverfahren, die schließlich in computer-gestützte mathematische Supportsysteme münden können.
Subject (*)Seminar Symbolisches Rechnen: Spezielle Themen und aktuelle wissenschaftliche Arbeiten aus dem Fach Symbolisches Rechnen.
Subordinated subjects, modules and lectures