Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

Matthew England, James H. Davenport

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

3 Downloads (Pure)

Fingerprint Dive into the research topics of 'Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition'. Together they form a unique fingerprint.

Engineering & Materials Science