Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition

Matthew England, James H. Davenport

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

    39 Downloads (Pure)

    Fingerprint

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

    Computer Science