Pages that link to "Item:Q5920628"
From MaRDI portal
The following pages link to Algorithms in real algebraic geometry (Q5920628):
Displayed 50 items.
- Equivalence checking of quantum finite-state machines (Q2220441) (← links)
- A condition for multiplicity structure of univariate polynomials (Q2229732) (← links)
- Exact algorithms for semidefinite programs with degenerate feasible set (Q2229751) (← links)
- On the sensitivity of the optimal partition for parametric second-order conic optimization (Q2230950) (← links)
- On the uniqueness problem for quadrature domains (Q2231566) (← links)
- Algebraic conditions and the sparsity of spectrally arbitrary patterns (Q2236391) (← links)
- Polynomial bivariate copulas of degree five: characterization and some particular inequalities (Q2245659) (← links)
- Lengths of roots of polynomials in a Hahn field (Q2246819) (← links)
- Intrinsic complexity estimates in polynomial optimization (Q2251913) (← links)
- From approximate factorization to root isolation with application to cylindrical algebraic decomposition (Q2252120) (← links)
- Detecting similarity of rational plane curves (Q2252245) (← links)
- On the complexity of computing with planar algebraic curves (Q2254683) (← links)
- On the intersection of a sparse curve and a low-degree curve: a polynomial version of the lost theorem (Q2256583) (← links)
- On the minimum of a positive polynomial over the standard simplex (Q2269694) (← links)
- Optimized parametrization of systems of incidences between rigid bodies (Q2269698) (← links)
- On a concept of genericity for RLC networks (Q2278548) (← links)
- On the extended Hensel construction and its application to the computation of real limit points (Q2284954) (← links)
- On types of degenerate critical points of real polynomial functions (Q2284966) (← links)
- First-order continuous induction and a logical study of real closed fields (Q2287034) (← links)
- Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL (Q2303242) (← links)
- Connectedness of the solution set of the tensor complementarity problem (Q2306225) (← links)
- A classical proof that the algebraic homotopy class of a rational function is the residue pairing (Q2306300) (← links)
- Cylindrical algebraic decomposition with equational constraints (Q2307622) (← links)
- Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\) (Q2316794) (← links)
- Semi-algebraic sets of \(f\)-vectors (Q2317698) (← links)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958) (← links)
- A complexity theory of constructible functions and sheaves (Q2340508) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- A combinatorial formula for principal minors of a matrix with tree-metric exponents and its applications (Q2347886) (← links)
- Towards semantic mathematical editing (Q2348287) (← links)
- Unifying known lower bounds via geometric complexity theory (Q2351393) (← links)
- Theorem of three circles in Coq (Q2351412) (← links)
- Overdetermined strata for degree 5 hyperbolic polynomials (Q2354639) (← links)
- Computing real witness points of positive dimensional polynomial systems (Q2357373) (← links)
- On the Davenport-Mahler bound (Q2360668) (← links)
- The `life machine': a quantum metaphor for living matter (Q2362150) (← links)
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic'' (Q2364369) (← links)
- Wilkie's conjecture for restricted elementary functions (Q2364597) (← links)
- Real algebraic numbers and polynomial systems of small degree (Q2378492) (← links)
- Complexity of real root isolation using continued fractions (Q2378508) (← links)
- Cell decomposition of almost smooth real algebraic surfaces (Q2391817) (← links)
- Algebraic boundaries of \(\mathrm{SO}(2)\)-orbitopes (Q2391832) (← links)
- Some independent bounds on the number of variables of quadratic polynomials (Q2393528) (← links)
- Identifying and approximating monotonous segments of algebraic curves using support function representation (Q2396288) (← links)
- On the realisability of double-cross matrices by polylines in the plane (Q2396825) (← links)
- Numerical stability of Euclidean algorithm over ultrametric fields (Q2397945) (← links)
- Interlacing Ehrhart polynomials of reflexive polytopes (Q2412570) (← links)
- Subquadratic algorithms for algebraic 3SUM (Q2415376) (← links)
- Homogeneous selections from hyperplanes (Q2434718) (← links)
- Zero-nonzero and real-nonreal sign determination (Q2435509) (← links)