The resolving of problems by reducing the conditions that are in them to equations.