Pages that link to "Item:Q2946521"
From MaRDI portal
The following pages link to Computation with semialgebraic sets represented by cylindrical algebraic formulas (Q2946521):
Displaying 7 items.
- Stability analysis for discrete biological models using algebraic methods (Q359890) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas (Q1735326) (← links)
- Computing with semi-algebraic sets: relaxation techniques and effective boundaries (Q1940931) (← links)
- (Q4227319) (← links)
- Truth table invariant cylindrical algebraic decomposition (Q5963392) (← links)
- Cylindrical algebraic decomposition using local projections (Q5963393) (← links)