Inhalt

[ 404SYCO21 ] Studienfach (*)h. Symbolic computation

Versionsauswahl
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-27 ECTS Gliederung M - Master Mathematik Manuel Kauers Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Masterstudium Computer Mathematics 2021W
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