Pages that link to "Item:Q2457384"
From MaRDI portal
The following pages link to Cylindrical algebraic decomposition using validated numerics (Q2457384):
Displaying 50 items.
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q384995) (← links)
- Trading order for degree in creative telescoping (Q414630) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Cylindrical algebraic sub-decompositions (Q475412) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- A deterministic algorithm for isolating real roots of a real polynomial (Q607163) (← links)
- CAD and topology of semi-algebraic sets (Q626978) (← links)
- On the topology of real algebraic plane curves (Q626980) (← links)
- Cylindrical decomposition for systems transcendental in the first variable (Q650841) (← links)
- Deciding polynomial-transcendental problems (Q654031) (← links)
- Parametric toricity of steady state varieties of reaction networks (Q831994) (← links)
- Computer algebra for guaranteed accuracy. How does it help? (Q849196) (← links)
- An efficient algorithm for the stratification and triangulation of an algebraic surface (Q1037650) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- Precise numerical computation (Q1779570) (← links)
- Interval arithmetic in cylindrical algebraic decomposition (Q1864882) (← links)
- Symbolic analysis of multiple steady states in a MAPK chemical reaction network (Q1994887) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure (Q2100061) (← links)
- Enhancements to Lazard's method for cylindrical algebraic decomposition (Q2110211) (← links)
- From approximate factorization to root isolation with application to cylindrical algebraic decomposition (Q2252120) (← links)
- On the complexity of computing with planar algebraic curves (Q2254683) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions (Q2799562) (← links)
- Need Polynomial Systems Be Doubly-Exponential? (Q2819212) (← links)
- Improving the use of equational constraints in cylindrical algebraic decomposition (Q2819754) (← links)
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms (Q2830000) (← links)
- Improved inapproximability results for counting independent sets in the hard-core model (Q2877770) (← links)
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)
- Mathematics by machine (Q3452371) (← links)
- Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers (Q3452372) (← links)
- Sparse interpolation over finite fields via low-order roots of unity (Q3452373) (← links)
- Multivariate sparse interpolation using randomized Kronecker substitutions (Q3452374) (← links)
- Computing the differential Galois group of a parameterized second-order linear differential equation (Q3452375) (← links)
- A new deterministic algorithm for sparse multivariate polynomial interpolation (Q3452377) (← links)
- A fast algorithm for computing the characteristic polynomial of the p-curvature (Q3452378) (← links)
- Computing necessary integrability conditions for planar parametrized homogeneous potentials (Q3452379) (← links)
- Improved algorithm for computing separating linear forms for bivariate systems (Q3452380) (← links)
- Solving higher order linear differential equations having elliptic function coefficients (Q3452382) (← links)
- Parallel telescoping and parameterized Picard-Vessiot theory (Q3452383) (← links)
- A generalized Apagodu-Zeilberger algorithm (Q3452384) (← links)
- The asymptotic analysis of some interpolated nonlinear recurrence relations (Q3452385) (← links)
- Fast arithmetic for the algebraic closure of finite fields (Q3452386) (← links)
- On the computation of the topology of plane curves (Q3452387) (← links)
- Essentially optimal interactive certificates in linear algebra (Q3452388) (← links)
- Root counts of semi-mixed systems, and an application to counting nash equilibria (Q3452389) (← links)
