Pages that link to "Item:Q5920628"
From MaRDI portal
The following pages link to Algorithms in real algebraic geometry (Q5920628):
Displayed 50 items.
- Soft Subdivision Search in Motion Planning, II: Axiomatics (Q3452548) (← links)
- Tropicalizing the Simplex Algorithm (Q3453613) (← links)
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)
- Two conjectures on the arithmetic in ℝ and ℂ (Q3552394) (← links)
- The Smallest Multistationary Mass-Preserving Chemical Reaction Network (Q3599201) (← links)
- Block LU factorization of Hankel and Bezout matrices and Euclidean algorithm (Q3603591) (← links)
- On the Complexity of Reliable Root Approximation (Q3644097) (← links)
- Spectrahedral Shadows (Q4603029) (← links)
- Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets (Q4635358) (← links)
- DECIDING THE CHROMATIC NUMBERS OF ALGEBRAIC HYPERGRAPHS (Q4638981) (← links)
- Lopsided approximation of amoebas (Q4683178) (← links)
- Summary on non-Archimedean valued fields (Q4685924) (← links)
- On topological structure of some sets related to the normalized Ricci flow on generalized Wallach spaces (Q4970673) (← links)
- Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications (Q4989918) (← links)
- Convex Algebraic Geometry of Curvature Operators (Q4991379) (← links)
- Representations and evaluation strategies for feasibly approximable functions (Q4995603) (← links)
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision (Q4995607) (← links)
- Separately Nash and arc‐Nash functions over real closed fields (Q4999662) (← links)
- Verified computations for closed hyperbolic 3‐manifolds (Q4999676) (← links)
- Certified Hermite Matrices from Approximate Roots - Univariate Case (Q5014656) (← links)
- Algebro-Geometric Equisingularity of Zariski (Q5024550) (← links)
- On μ-symmetric polynomials (Q5046095) (← links)
- Stickelberger and the Eigenvalue Theorem (Q5051881) (← links)
- Numerical and Symbolic Studies of the Peaceable Queens Problem (Q5070655) (← links)
- Smoothing the Gap Between NP and ER (Q5071086) (← links)
- AN ALGEBRAIC APPROACH FOR A MALARIA TRANSMISSION MODEL WITH ENVIRONMENTAL SANITATION (Q5076291) (← links)
- (Q5076429) (← links)
- (Q5088930) (← links)
- Rods and Rings: Soft Subdivision Planner for R^3 x S^2. (Q5088973) (← links)
- Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. (Q5089287) (← links)
- (Q5089308) (← links)
- (Q5093387) (← links)
- Analytic expressions for the positive definite and unimodal regions of Gram-Charlier series (Q5093697) (← links)
- (Q5094125) (← links)
- Geometry of Linear Convolutional Networks (Q5097687) (← links)
- Computing totally real hyperplane sections and linear series on algebraic curves (Q5101849) (← links)
- Kac-Rice formulas and the number of solutions of parametrized systems of polynomial equations (Q5103757) (← links)
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)
- Monomial Tropical Cones for Multicriteria Optimization (Q5112824) (← links)
- Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability (Q5118408) (← links)
- Constructive Polynomial Partitioning for Algebraic Curves in $\mathbb{R}^3$ with Applications (Q5138781) (← links)
- (Q5140843) (← links)
- Quantitative fundamental theorem of algebra (Q5147021) (← links)
- (Q5155677) (← links)
- Anti-commuting varieties (Q5217877) (← links)
- Multiparameter perturbation theory of matrices and linear operators (Q5218254) (← links)
- Error Bounds, Quadratic Growth, and Linear Convergence of Proximal Methods (Q5219676) (← links)
- A proof of the matrix version of Baker's conjecture in Diophantine approximation (Q5225816) (← links)
- GENERIC UNLABELED GLOBAL RIGIDITY (Q5226556) (← links)
- Resonance Set of a Polynomial and Problem of Formal Stability (Q5239641) (← links)