A comparison of three heuristics to choose the variable ordering for cylindrical algebraic decomposition

Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
11 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A comparison of three heuristics to choose the variable ordering for cylindrical algebraic decomposition'. Together they form a unique fingerprint.

Mathematics