Decision method for elementary algebra
Elements of the Theory of Algebraic Curves
Lectures in Projective Geometry