MATH 4860 (5860) - Computational Algebraic Geometry II

Lec. 3. Credit 3.
Prerequisite: C or better in MATH 4850 (5850). Polynomial and rational functions on a variety, projective varieties, the dimension of a variety, selected applications in robotics, automatic theorem proving, and invariant theory of finite groups.