Pages that link to "Item:Q5920628"
From MaRDI portal
The following pages link to Algorithms in real algebraic geometry (Q5920628):
Displayed 50 items.
- Hermitian matrices with a bounded number of eigenvalues (Q2435585) (← links)
- Certified rational parametric approximation of real algebraic space curves with local generic position method (Q2437282) (← links)
- On the complexity of the Descartes method when using approximate arithmetic (Q2447639) (← links)
- Computing the first few Betti numbers of semi-algebraic sets in single exponential time (Q2457390) (← links)
- Algebraic cycles from a computational point of view (Q2476017) (← links)
- On projections of semi-algebraic sets defined by few quadratic inequalities (Q2482191) (← links)
- Ball packings with periodic constraints (Q2514233) (← links)
- A semi-algebraic version of Zarankiewicz's problem (Q2628329) (← links)
- Parameterization of the discriminant set of a polynomial (Q2628787) (← links)
- The landscape of G-structures in eight-manifold compactifications of M-theory (Q2636058) (← links)
- Internal circle uplifts, transversality and stratified G-structures (Q2636178) (← links)
- Reaching generalized critical values of a polynomial (Q2636981) (← links)
- Global Łojasiewicz inequalities on comparing the rate of growth of polynomial functions (Q2661197) (← links)
- On the complexity of computing the topology of real algebraic space curves (Q2661918) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- Phase portraits, Lyapunov functions, and projective geometry. Lessons learned from a differential equations class and its aftermath (Q2663653) (← links)
- Permutations encoding the local shape of level curves of real polynomials via generic projections (Q2675335) (← links)
- A mathematical model for a transmissible disease with a variant (Q2676203) (← links)
- Time and space efficient collinearity indexing (Q2678263) (← links)
- Computer algebra methods for searching the stationary motions of the connected bodies system moving in gravitational field (Q2680115) (← links)
- Certified Hermite matrices from approximate roots (Q2687270) (← links)
- Distinct distances on non-ruled surfaces and between circles (Q2690125) (← links)
- An optimal quantum error-correcting procedure using quantifier elimination (Q2690239) (← links)
- Topology of real multi-affine hypersurfaces and a homological stability property (Q2699228) (← links)
- A Note on Polynomial Solvability of the CDT Problem (Q2789609) (← links)
- Sublinear Root Detection and New Hardness Results for Sparse Polynomials over Finite Fields (Q2816831) (← links)
- On the Feasibility of Semi-algebraic Sets in Poisson Regression (Q2819210) (← links)
- A Formal Proof of Cauchy’s Residue Theorem (Q2829261) (← links)
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
- Computing Sparse Representations of Systems of Rational Fractions (Q2830013) (← links)
- A Survey of Satisfiability Modulo Theory (Q2830018) (← links)
- Exact Algorithms for Linear Matrix Inequalities (Q2834563) (← links)
- Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems (Q2835688) (← links)
- Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity (Q2871188) (← links)
- Space Crossing Numbers (Q2888867) (← links)
- Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry (Q2909758) (← links)
- A Polynomial Regularity Lemma for Semialgebraic Hypergraphs and Its Applications in Geometry and Property Testing (Q2956040) (← links)
- A census of zeta functions of quartic K surfaces over (Q2970995) (← links)
- On multicorns and unicorns II: bifurcations in spaces of antiholomorphic polynomials (Q2986625) (← links)
- Advice Coins for Classical and Quantum Computation (Q3012792) (← links)
- ORBITOPES (Q3087006) (← links)
- A formal study of Bernstein coefficients and polynomials (Q3094174) (← links)
- On Searching for Small Kochen-Specker Vector Systems (Q3104762) (← links)
- Reflection groups, reflection arrangements, and invariant real varieties (Q3130825) (← links)
- Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
- Ramsey-type results for semi-algebraic relations (Q3190741) (← links)
- A Symbolic Computation Approach Towards the Asymptotic Stability Analysis of Differential Systems with Commensurate Delays (Q3297392) (← links)
- Exact upper bound on the sum of squared nearest-neighbor distances between points in a rectangle (Q3300408) (← links)
- Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets (Q3451759) (← links)
- Recent Advances in Real Geometric Reasoning (Q3452275) (← links)