Improving the use of equational constraints in cylindrical algebraic decomposition

Matthew England, Russell Bradford, James H. Davenport

Research output: Contribution to conferencePaper

26 Citations (SciVal)
84 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Improving the use of equational constraints in cylindrical algebraic decomposition'. Together they form a unique fingerprint.

Mathematics