Method used | One coefficient serves as an interval | Two coefficients serve as intervals | All three coefficients serve as intervals |
Classic interval analysis | Works, but often leads to errors, yields analytical formulas, done by hand | Does not work | Does not work |
Quantifier elimination | Works, yields analytical formulas without much effort, cannot be done by hand | Does not work because CPU time gets too important | Does not work because CPU time gets too important |
Interval Parametrization | Works, no analytical formulas, cannot be done by hand as it is a numerical only | Works, no analytical formulas, cannot be done by hand as it is a numerical only | Works, no analytical formulas, cannot be done by hand as it is a numerical only |
Sign variation analysis | Works, takes some effort to consider every subcase (24 subcases), yields analytical formulas, could be done by hand | Works, takes some effort to consider every subcase (24 subcases), yields analytical formulas, could be done by hand | Works, does not take much effort to consider every subcase (8 subcases), yields analytical formulas, could be done by hand |