Algebra Seminar

Some of the motivation for the initial development of computer algebra actually originated from geometry, more precisely from real algebraic geometry. Symbolic techniques in algebraic geometry have recently found new and interesting applications in computer aided geometric design.

We will describe some of the applications of computer algebra methods to problems arising from geometric theorem proving and geometric design. We will also show how these problems can be treated by our computer algebra package CASA.