VTS and Lazard Projection CAD in Quantifier Elimination with Maple (2020)
Attributed to:
Hybrid Techniques in Satisfiability
funded by
EPSRC
Abstract
No abstract provided