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