Pages that link to "Item:Q5925208"
From MaRDI portal
The following pages link to Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208):
Displaying 21 items.
- Parametric toricity of steady state varieties of reaction networks (Q831994) (← links)
- Partial cylindrical algebraic decomposition for quantifier elimination (Q1186711) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- On types of degenerate critical points of real polynomial functions (Q2284966) (← links)
- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting (Q2879161) (← links)
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q2959017) (← links)
- (Q4234240) (← links)
- Chordality Preserving Incremental Triangular Decomposition and Its Implementation (Q5039552) (← links)
- Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks (Q5041065) (← links)
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs (Q5041068) (← links)
- Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition (Q5119922) (← links)
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Q5145435) (← links)
- VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities (Q6076836) (← links)
- Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically (Q6108822) (← links)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)
- Methodologies of Symbolic Computation (Q6163846) (← links)
- Computing with Tarski formulas and semi-algebraic sets in a web browser (Q6170823) (← links)
- On types of isolated KKT points in polynomial optimization (Q6594973) (← links)
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)
- Design and implementation of multi-threaded algorithms in polynomial algebra (Q6666514) (← links)
