University of Sydney
School of Mathematics and Statistics
RISC, J.Kepler Universität, Linz
Symbolic Geometric Computation
Friday 13th November, 12-1pm, Carslaw 273.
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.