The Representation of Equations and Solutions

Equations in One Variable

Algebraic Numbers

Simultaneous Equations

Generic and Non-Generic Solutions

Eliminating Variables

Solving Logical Combinations of Equations

Inequalities

Equations and Inequalities over Domains

The Representation of Solution Sets

Quantifiers

Minimization and Maximization