Pages that link to "Item:Q2307621"
From MaRDI portal
The following pages link to Fully incremental cylindrical algebraic decomposition (Q2307621):
Displaying 10 items.
- Optimization modulo non-linear arithmetic via incremental linearization (Q831943) (← links)
- Interval arithmetic in cylindrical algebraic decomposition (Q1864882) (← 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)
- New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis (Q2109991) (← links)
- Enhancements to Lazard's method for cylindrical algebraic decomposition (Q2110211) (← links)
- Improving the use of equational constraints in cylindrical algebraic decomposition (Q2819754) (← links)
- Improved projection for cylindrical algebraic decomposition (Q5950980) (← links)
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition (Q6149145) (← links)
- Recent developments in real quantifier elimination and cylindrical algebraic decomposition (extended abstract of invited talk) (Q6660310) (← links)