Manipulating Equations and Inequalities

Equations

Solving Equations

The Representation of Equations and Solutions

Equations in One Variable

Counting and Isolating Polynomial Roots

Algebraic Numbers

Simultaneous Equations

Generic and NonGeneric Solutions

Eliminating Variables

Relational and Logical Operators

Solving Logical Combinations of Equations

Inequalities

Equations and Inequalities over Domains

The Representation of Solution Sets

Quantifiers

Minimization and Maximization