Abstract: A Lyapunov-based approach for calculating positive invariant sets in an automatic manner is presented. This is done using real algebraic geometry techniques, which are summed up under the term quantifier elimination (QE). ...