George Collins cylindrical algebraic decomposition real algebraic geometry algebra implement geometry equations algebraic geometry equal or polynomial polynomial equations
For getting an algorithm that can be implemented and can solve systems of polynomial equations and inequalities, George Collins introduced the cylindrical algebraic decomposition that became a fundamental tool in real algebraic geometry.