VTS and Lazard Projection CAD in Quantifier Elimination with Maple

Zak Tonks

Research output: Other contribution

Fingerprint

Dive into the research topics of 'VTS and Lazard Projection CAD in Quantifier Elimination with Maple'. Together they form a unique fingerprint.

Mathematics

Pharmacology, Toxicology and Pharmaceutical Science