A Poly-algorithmic Quantifier Elimination Package in Maple presented by Zak Tonks at the Maple Conference 2019.
