Es ist eine neuere Version 2023W dieses Fachs/Moduls im Curriculum Masterstudium Computational Mathematics 2024W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Form der Prüfung
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Anbietende Uni
0-22,5 ECTS
Gliederung
M - Master
Mathematik
Manuel Kauers
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Masterstudium Computer Mathematics 2020W
Ziele
(*)Symbolic computation is about the algorithmization and automatization of the mathematical process of analyzing and solving problems. Goal is the development of exact logical deduction systems as well as algebraic computation methods as well as their implementation in mathematical software.
Lehrinhalte
(*)The contents of this subject follows from the contents of the courses it consists of.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen
