Abstract
The cylindrical algebraic decomposition method decomposes E r into regions over which a given polynomial has constant sign by extension of one complicated decomposition of E r-1 . We investigate a method which decomposes E r into sign-invariant region by combining several but simpler decompositions of E r-1 . We can obtain a sign-invariaat decomposition of E 2 defined by a bivariate polynomial of total degree n and coefficient size d in time O(n 12 (d + log n) 2 log n) . Preliminary experiments suggest that the method is useful in practice.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
