184.775 Introduction to Computer Algebra Canceled
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2018S, VU, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise

Aim of course

The aim of the course is to introduce students to the concepts and most important techniques in computer algebra and symbolic computation, in particular conveying a fundamental understanding of non-linear arithmetic and computational approaches to related problems.

The students will learn how to apply these ideas in areas like SMT solving, formal verification and program analysis.

Subject of course

Ideals, Gröbner bases, polynomial arithmetic, semi-algebraic sets and cylindrical algebraic decomposition, algorithms for exact solutions of linear recurrence equations and differential equations.

The course consists of a lecture part and an exercise part. The final grade is determined by the exercises and an oral exam.

Additional information

Ects Breakdown

28  h lectures
20  h lecture follow-up and further reading
14  h solving exercises
15  h preparation for oral exam
1 h exam
78 h = ca. 3 Ects



Course registration

Begin End Deregistration end
19.02.2018 14:00 27.04.2018 22:00 03.05.2018 23:00



No lecture notes are available.