VTS and Lazard Projection CAD in Quantifier Elimination with Maple (2020)

First Author: Tonks Z
Attributed to:  Hybrid Techniques in Satisfiability funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://doi.org/10.5446/48017

Type: Other