Iterated Resultants in CAD
- Resource Type
- Working Paper
- Authors
- Davenport, James H.; England, Matthew
- Source
- Proceedings of the 8th Workshop on Satisfiability Checking and Symbolic Computation (SC2 '23), E. \'Abrah\'am and T. Sturm eds. CEUR Workshop Proceedings 3455, pp. 54-60, 2023
- Subject
- Computer Science - Symbolic Computation
68W30, 13P10
I.1.1
- Language
Cylindrical Algebraic Decomposition (CAD) by projection and lifting requires many iterated univariate resultants. It has been observed that these often factor, but to date this has not been used to optimise implementations of CAD. We continue the investigation into such factorisations, writing in the specific context of SC-Square.
Comment: Presented at the 2023 SC-Square Workshop