Optimising problem formulation for cylindrical algebraic decomposition

Russell Bradford, James H Davenport, Matthew England, David Wilson

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

38 Citations (SciVal)
187 Downloads (Pure)

Search results