Es ist eine neuere Version 2018W dieses Fachs/Moduls im Curriculum Master's programme Mathematics for Natural Sciences (discontinuing at 28/2/2026) 2022W vorhanden.
(*) Unfortunately this information is not available in english.
Workload
Mode of examination
Education level
Study areas
Responsible person
Coordinating university
0-3 ECTS
Course examination
M2 - Master's programme 2. year
Mathematics
Walter Zulehner
Johannes Kepler University Linz
Detailed information
Original study plan
Master's programme Mathematics for Natural Sciences 2012W
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.
