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)
Filter
Finished

Search results