This is now in practice done by Simplify and other functions in Mathematica using methods of cylindrical algebraic decomposition invented in the 1970s—which work roughly by finding a succession of points of change using Resultant .