Pages that link to "Item:Q5920628"
From MaRDI portal
The following pages link to Algorithms in real algebraic geometry (Q5920628):
Displayed 50 items.
- 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)
- Atypical points at infinity and algorithmic detection of the bifurcation locus of real polynomials (Q2043085) (← links)
- First-order orbit queries (Q2048201) (← links)
- The impact on the properties of the EFGM copulas when extending this family (Q2049225) (← links)
- Correction to: ``Tropical varieties for exponential sums'' (Q2049974) (← links)
- The set of separable states has no finite semidefinite representation except in dimension \(3\times 2\) (Q2050062) (← links)
- On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond (Q2051775) (← links)
- Sampling polynomial trajectories for LTL verification (Q2055964) (← links)
- Revisiting reachability in polynomial interrupt timed automata (Q2059890) (← links)