[ 404SYCO21 ] Subject h. Symbolic computation

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.
Subordinated subjects, modules and lectures