Pages that link to "Item:Q5920628"
From MaRDI portal
The following pages link to Algorithms in real algebraic geometry (Q5920628):
Displayed 50 items.
- On the asymptotic and practical complexity of solving bivariate systems over the reals (Q1025391) (← links)
- An efficient algorithm for the stratification and triangulation of an algebraic surface (Q1037650) (← links)
- Computing the topology of an arrangement of implicitly defined real algebraic plane curves (Q1045532) (← links)
- \(L^3\) estimates for an algebraic variable coefficient Wolff circular maximal function (Q1759758) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- NP-hardness of deciding convexity of quartic polynomials and related problems (Q1942256) (← links)
- Efficient evaluation of specific queries in constraint databases (Q1944172) (← links)
- Analyticity of the planar limit of a matrix model (Q1947175) (← links)
- Geometric and combinatorial properties of well-centered triangulations in three and higher dimensions (Q1947986) (← links)
- On solving parametric polynomial systems (Q1949089) (← links)
- Numerically computing real points on algebraic sets (Q1956231) (← links)
- Motion planning via manifold samples (Q2017878) (← links)
- Intrinsic complexity estimates in polynomial optimization (Q2251913) (← links)
- From approximate factorization to root isolation with application to cylindrical algebraic decomposition (Q2252120) (← links)
- Detecting similarity of rational plane curves (Q2252245) (← links)
- On the complexity of computing with planar algebraic curves (Q2254683) (← links)
- On the intersection of a sparse curve and a low-degree curve: a polynomial version of the lost theorem (Q2256583) (← links)
- On the minimum of a positive polynomial over the standard simplex (Q2269694) (← links)
- Optimized parametrization of systems of incidences between rigid bodies (Q2269698) (← links)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958) (← links)
- A complexity theory of constructible functions and sheaves (Q2340508) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- A combinatorial formula for principal minors of a matrix with tree-metric exponents and its applications (Q2347886) (← links)
- Towards semantic mathematical editing (Q2348287) (← links)
- Unifying known lower bounds via geometric complexity theory (Q2351393) (← links)
- Theorem of three circles in Coq (Q2351412) (← links)
- Overdetermined strata for degree 5 hyperbolic polynomials (Q2354639) (← links)
- Real algebraic numbers and polynomial systems of small degree (Q2378492) (← links)
- Complexity of real root isolation using continued fractions (Q2378508) (← links)
- Cell decomposition of almost smooth real algebraic surfaces (Q2391817) (← links)
- Algebraic boundaries of \(\mathrm{SO}(2)\)-orbitopes (Q2391832) (← links)
- Some independent bounds on the number of variables of quadratic polynomials (Q2393528) (← links)
- Homogeneous selections from hyperplanes (Q2434718) (← links)
- Zero-nonzero and real-nonreal sign determination (Q2435509) (← links)
- Hermitian matrices with a bounded number of eigenvalues (Q2435585) (← links)
- Certified rational parametric approximation of real algebraic space curves with local generic position method (Q2437282) (← links)
- On the complexity of the Descartes method when using approximate arithmetic (Q2447639) (← links)
- Computing the first few Betti numbers of semi-algebraic sets in single exponential time (Q2457390) (← links)
- Algebraic cycles from a computational point of view (Q2476017) (← links)
- On projections of semi-algebraic sets defined by few quadratic inequalities (Q2482191) (← links)
- Ball packings with periodic constraints (Q2514233) (← links)
- Reaching generalized critical values of a polynomial (Q2636981) (← links)
- Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity (Q2871188) (← links)
- Space Crossing Numbers (Q2888867) (← links)
- Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry (Q2909758) (← links)
- Advice Coins for Classical and Quantum Computation (Q3012792) (← links)
- ORBITOPES (Q3087006) (← links)
- A formal study of Bernstein coefficients and polynomials (Q3094174) (← links)
- On Searching for Small Kochen-Specker Vector Systems (Q3104762) (← links)
- Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)