Iterated Resultants in CAD

07/31/2023
by   James H. Davenport, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset