The following pages link to (Q4038744):
Displaying 8 items.
- Elementary recursive quantifier elimination based on Thom encoding and sign determination (Q529166) (← links)
- On sign conditions over real multivariate polynomials (Q977180) (← links)
- Sign determination in residue number systems (Q1274813) (← links)
- Dynamic evaluation and real closure. (Q1565836) (← links)
- Semi-algebraic complexity of quotients and sign determination of remainders (Q2365423) (← links)
- The factor-2 sign detection algorithm using a core function for RNS numbers (Q2373833) (← links)
- Zero-nonzero and real-nonreal sign determination (Q2435509) (← links)
- Improved Algorithms for Sign Determination and Existential Quantifier Elimination (Q3140551) (← links)