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):
Displayed 12 items.
- Parametric toricity of steady state varieties of reaction networks (Q831994) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- On types of degenerate critical points of real polynomial functions (Q2284966) (← 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)
- 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)