Manipulating Equations and Inequalities

3.4.1 The Representation of Equations and Solutions

3.4.2 Equations in One Variable

3.4.3 Advanced Topic: Algebraic Numbers

3.4.4 Simultaneous Equations

3.4.5 Generic and Non-Generic Solutions

3.4.6 Eliminating Variables

3.4.7 Solving Logical Combinations of Equations

3.4.8 Inequalities

3.4.9 Equations and Inequalities over Domains

3.4.10 Advanced Topic: The Representation of Solution Sets

3.4.11 Advanced Topic: Quantifiers

3.4.12 Minimization and Maximization