Es ist eine neuere Version 2023W dieses Fachs/Moduls im Curriculum Master's programme Computational Mathematics 2024W vorhanden.
Workload
Mode of examination
Education level
Study areas
Responsible person
Coordinating university
0-27 ECTS
Structure
M - Master's programme
Mathematics
Manuel Kauers
Johannes Kepler University Linz
Detailed information
Original study plan
Master's programme Computer Mathematics 2021W
Objectives
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.
Subject
The contents of this subject follows from the contents of the courses it consists of.
