Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition
- Matthew England
- , James H. Davenport
- University of Bath
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
81
Downloads
(Pure)