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)
- Auxetic deformations and elliptic curves (Q1647847) (← links)
- A transfer method from bounded existential Diophantine equations to Tarski algebra formulas (Q1686076) (← links)
- Bit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimization (Q1690788) (← links)
- Source localization and denoising: a perspective from the TDOA space (Q1697950) (← links)
- Matroids over partial hyperstructures (Q1711930) (← links)
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- Lengths of developments in \(K((G))\) (Q1726002) (← links)
- Global optimization of polynomials over real algebraic sets (Q1730308) (← links)
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (Q1733314) (← links)
- Anderson localization for two interacting quasiperiodic particles (Q1733991) (← links)
- Density of algebraic points on Noetherian varieties (Q1733993) (← links)
- The complexity of dominating set in geometric intersection graphs (Q1737591) (← links)
- Multi-degree bounds on the Betti numbers of real varieties and semi-algebraic sets and applications (Q1745197) (← links)
- Orderability and Dehn filling (Q1746305) (← links)
- Grid methods in computational real algebraic (and semialgebraic) geometry (Q1754715) (← links)
- Automatic generation of bounds for polynomial systems with application to the Lorenz system (Q1755304) (← links)
- Univariate real root isolation in an extension field and applications (Q1757003) (← links)
- \(L^3\) estimates for an algebraic variable coefficient Wolff circular maximal function (Q1759758) (← links)
- On the equivariant Betti numbers of symmetric definable sets: vanishing, bounds and algorithms (Q1783975) (← 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)
- Tropical spectrahedra (Q1985292) (← links)
- Imaginary projections of polynomials (Q1994130) (← links)
- On sum of squares certificates of non-negativity on a strip (Q1996082) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Parametrized homology via zigzag persistence (Q2000778) (← links)
- Certified non-conservative tests for the structural stability of discrete multidimensional systems (Q2002386) (← links)
- Using machine learning to improve cylindrical algebraic decomposition (Q2009221) (← links)
- Characteristic polynomials of symmetric matrices over the univariate polynomial ring (Q2012044) (← links)
- Motion planning via manifold samples (Q2017878) (← links)
- Tools for analyzing the intersection curve between two quadrics through projection and lifting (Q2020580) (← links)
- Invariant coordinate subspaces of normal form of a system of ordinary differential equations (Q2027853) (← links)
- A local maximizer for lattice width of 3-dimensional hollow bodies (Q2028093) (← links)
- Semialgebraic sets and real binary forms decompositions (Q2029013) (← links)
- On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
- Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves (Q2029428) (← links)
- Solutions to a system of equations for \(C^m\) functions (Q2031504) (← links)
- Generators for the \(C^m\)-closures of ideals (Q2031505) (← links)
- Efficiently and effectively recognizing toricity of steady state varieties (Q2035620) (← links)
- Tournament quasirandomness from local counting (Q2036620) (← links)
- Graph reconstruction from unlabeled edge lengths (Q2039322) (← links)
- VC density of definable families over valued fields (Q2039578) (← links)