Pages that link to "Item:Q2879136"
From MaRDI portal
The following pages link to Real Quantifier Elimination in the RegularChains Library (Q2879136):
Displaying 7 items.
- Real quantifier elimination is doubly exponential (Q1114669) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- On types of degenerate critical points of real polynomial functions (Q2284966) (← links)
- Verifying Mixed Real-Integer Quantifier Elimination (Q3613432) (← links)
- (Q4247790) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)
- A dataset for suggesting variable orderings for cylindrical algebraic decompositions (Q6660322) (← links)
