Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

James Davenport, Russell Bradford, Matthew England, David Wilson

Research output: Working paper / PreprintWorking paper

53 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition'. Together they form a unique fingerprint.

Arts & Humanities