Pages that link to "Item:Q5906950"
From MaRDI portal
The following pages link to Algorithms in real algebraic geometry (Q5906950):
Displaying 50 items.
- Symmetric semi-algebraic sets and non-negativity of symmetric polynomials (Q258134) (← links)
- Faster geometric algorithms via dynamic determinant computation (Q283878) (← links)
- A heuristic prover for real inequalities (Q287379) (← links)
- Determinantal representations and the Hermite matrix (Q357531) (← links)
- An improved algorithm for deciding semi-definite polynomials (Q404554) (← links)
- On the isotopic meshing of an algebraic implicit surface (Q414623) (← links)
- Algorithms for computing the global infimum and minimum of a polynomial function (Q424330) (← links)
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- Computing the shapes arising in a family of space rational curves depending on one parameter (Q448988) (← links)
- Global minimization of multivariate polynomials using nonstandard methods (Q453625) (← links)
- Erdős-Szekeres-type statements: Ramsey function and decidability in dimension 1 (Q461340) (← links)
- A generic position based method for real root isolation of zero-dimensional polynomial systems (Q480656) (← links)
- Computation of topological invariants for real projective surfaces with isolated singularities (Q480681) (← links)
- Finding the topology of implicitly defined two algebraic plane curves (Q488901) (← links)
- A new method to compute the singularities of offsets to rational plane curves (Q492111) (← links)
- Parabolic arcs of the multicorns: real-analyticity of Hausdorff dimension, and singularities of \(\mathrm{Per}_n(1)\) curves (Q514016) (← links)
- A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium (Q532649) (← links)
- Adaptive isotopic approximation of nonsingular curves: The parameterizability and nonlocal isotopy approach (Q540445) (← links)
- On a generalization of Stickelberger's theorem (Q607067) (← links)
- Using signature sequences to classify intersection curves of two quadrics (Q625183) (← links)
- A remark on parameterizing nonsingular cubic surfaces (Q625234) (← links)
- Sylvester double sums and subresultants (Q629347) (← links)
- Pinning a line by balls or ovaloids in \(\mathbb R^{3}\) (Q629845) (← links)
- On the different shapes arising in a family of plane rational curves depending on a parameter (Q631013) (← links)
- Topology of 2D and 3D rational curves (Q631048) (← links)
- On the computation of an arrangement of quadrics in 3D (Q705551) (← links)
- Algebraic geometry of topological spaces. I (Q713363) (← links)
- The inverse moment problem for convex polytopes (Q714983) (← links)
- Simple proofs of classical theorems in discrete geometry via the Guth-Katz polynomial partitioning technique (Q714991) (← links)
- Properness defects of projection and minimal discriminant variety (Q719760) (← links)
- Topology and arrangement computation of semi-algebraic planar curves (Q735517) (← links)
- Semi-algebraically connected components of minimum points of a polynomial function (Q741867) (← links)
- Stability versus speed in a computable algebraic model (Q817853) (← links)
- Affine equivalences of trigonometric curves (Q829601) (← links)
- Bezout matrices, subresultant polynomials and parameters (Q833155) (← links)
- Automatic computation of the complete root classification for a parametric polynomial (Q840716) (← links)
- Detecting rigid convexity of bivariate polynomials (Q847211) (← links)
- Computing uniformly optimal strategies in two-player stochastic games (Q847800) (← links)
- Finding all Nash equilibria of a finite game using polynomial algebra (Q847806) (← links)
- Bounds for resultants of univariate and bivariate polynomials (Q848582) (← links)
- Competitive equilibria in semi-algebraic economies (Q848620) (← links)
- On square positive extensions and cubature formulas (Q849606) (← links)
- On multiple roots in Descartes' rule and their distance to roots of higher derivatives (Q859884) (← links)
- Effectively open real functions (Q864433) (← links)
- Asymptotic values of polynomial mappings of the real plane (Q864461) (← links)
- Oscillation of linear ordinary differential equations: on a theorem of A. Grigoriev (Q867473) (← links)
- Semidefinite representations for finite varieties (Q868441) (← links)
- Quantifier elimination for the reals with a predicate for the powers of two (Q868941) (← links)
- Equality-constrained minimization of polynomial functions (Q892787) (← links)
- Real root classification of parametric spline functions (Q902826) (← links)
