Equations-solving techniques