The following pages link to (Q4295433):
Displaying 13 items.
- On using Lazard's projection in CAD construction (Q492024) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- Validity proof of Lazard's method for CAD construction (Q1757004) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) (Q2104500) (← links)
- Fully incremental cylindrical algebraic decomposition (Q2307621) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Curtains in CAD: Why Are They a Problem and How Do We Fix Them? (Q5039551) (← links)
- Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks (Q5041065) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
- Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)
