The aim of the course is to introduce students to the concepts and most important techniques in computer algebra and symbolic computation. We focus particularly on developing a fundamental understanding of the algorithmic handling of algebraic numbers.
Algebraic numbers are an essential tool to solve problems involving non-linear equations and expressions. A fundamental understanding of the theory and practical applicability of algebraic numbers facilitates formulating and solving questions in numerous areas of application---including physics, logics, robotics, molecular biology and more---in a mathematical precise manner.
basic algebraic structures, algebraic number theory, algorithms for polynomial arithmetic.The course consists of a lecture part and an exercise part. The final grade is determined by the exercises and an oral exam.
Ects Breakdown28 h lectures20 h lecture follow-up and further reading14 h solving exercises15 h preparation for oral exam1 h exam-----------------------------------------------78 h = ca. 3 Ects