Pages that link to "Item:Q5920628"
From MaRDI portal
The following pages link to Algorithms in real algebraic geometry (Q5920628):
Displayed 50 items.
- Revisiting Zariski main theorem from a constructive point of view (Q402421) (← links)
- Computing isolated roots of sparse polynomial systems in affine space (Q410703) (← links)
- Refined bounds on the number of connected components of sign conditions on a variety (Q411399) (← links)
- Sphere and dot product representations of graphs (Q411410) (← links)
- Faster \(p\)-adic feasibility for certain multivariate sparse polynomials (Q412210) (← links)
- Coloring \(K_{k}\)-free intersection graphs of geometric objects in the plane (Q412277) (← links)
- Root isolation of zero-dimensional polynomial systems with linear univariate representation (Q420751) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Spherical Radon transform and the average of the condition number on certain Schubert subvarieties of a Grassmannian (Q423886) (← links)
- Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces (Q431820) (← links)
- Real radical initial ideals (Q435959) (← links)
- Computational geometry of positive definiteness (Q445814) (← links)
- Geodesic diameter of sets defined by few quadratic equations and inequalities (Q455654) (← links)
- Uniqueness of equilibrium in the haber synthesis of ammonia (Q460874) (← links)
- Segregation of stability domains of the Hamilton nonlinear system (Q462047) (← links)
- A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set (Q464735) (← links)
- Divide and conquer roadmap for algebraic sets (Q464736) (← links)
- On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials (Q466903) (← links)
- A nonparametric analysis of multi-product oligopolies (Q471318) (← links)
- Design of Marx generators as a structured eigenvalue assignment (Q472612) (← links)
- Exponentially more concise quantum recognition of non-RMM regular languages (Q473186) (← links)
- Separating linear forms and rational univariate representations of bivariate systems (Q480646) (← links)
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Separating inequalities for nonnegative polynomials that are not sums of squares (Q480684) (← links)
- A baby step-giant step roadmap algorithm for general algebraic sets (Q486687) (← links)
- Counting multijoints (Q490912) (← links)
- Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy (Q491087) (← links)
- Proving inequalities and solving global optimization problems via simplified CAD projection (Q492036) (← links)
- Curvature of Hessian manifolds (Q499506) (← links)
- Bound the number of limit cycles bifurcating from center of polynomial Hamiltonian system via interval analysis (Q508217) (← links)
- Bivariate triangular decompositions in the presence of asymptotes (Q512372) (← links)
- Analyzing restricted fragments of the theory of linear arithmetic (Q513354) (← links)
- New error measures and methods for realizing protein graphs from distance data (Q517453) (← links)
- Fixed points, Nash equilibria, and the existential theory of the reals (Q519892) (← links)
- Elementary recursive quantifier elimination based on Thom encoding and sign determination (Q529166) (← links)
- Direct symbolic transformation from 3D Cartesian into hyperboloidal coordinates (Q529925) (← links)
- An algebraic certificate for Budan's theorem (Q531342) (← links)
- An algebraic approach to continuous collision detection for ellipsoids (Q543838) (← links)
- Solution formulas for cubic equations without or with constraints (Q548598) (← links)
- Applications of dimensionality reduction and exponential sums to graph automorphism (Q551192) (← links)
- A deterministic algorithm for isolating real roots of a real polynomial (Q607163) (← links)
- Tight bounds for rational sums of squares over totally real fields (Q619610) (← links)
- Representing simple \(d\)-dimensional polytopes by \(d\) polynomials (Q623364) (← links)
- A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces (Q625206) (← links)
- Solving the implicitization, inversion and reparametrization problems for rational curves through subresultants (Q625247) (← links)
- Arrangements on parametric surfaces. II: Concretizations and applications (Q626976) (← links)
- CAD and topology of semi-algebraic sets (Q626978) (← links)
- On the topology of real algebraic plane curves (Q626980) (← links)
- A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface (Q629823) (← links)
- Optimizing \(n\)-variate \((n+k)\)-nomials for small \(k\) (Q633624) (← links)