University of Sydney

    School of Mathematics and Statistics

    Algebra Seminar

    Franz Winkler
    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.