Pages that link to "Item:Q4371694"
From MaRDI portal
The following pages link to On the combinatorial and algebraic complexity of quantifier elimination (Q4371694):
Displayed 50 items.
- Polynomial-time approximation schemes for circle and other packing problems (Q329299) (← links)
- A polynomial-time algorithm for computing low CP-rank decompositions (Q344517) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- On the complexity of quantified linear systems (Q391791) (← 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)
- Variant quantifier elimination (Q420753) (← links)
- Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces (Q431820) (← links)
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Elementary recursive quantifier elimination based on Thom encoding and sign determination (Q529166) (← links)
- An improved semidefinite programming hierarchy for testing entanglement (Q529619) (← links)
- Quasi-interpretations. A way to control resources (Q541228) (← links)
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- The continuous Skolem-Pisot problem (Q708215) (← links)
- The set of realizations of a max-plus linear sequence is semi-polyhedral (Q716317) (← links)
- Parametric toricity of steady state varieties of reaction networks (Q831994) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Guarding galleries and terrains (Q845875) (← links)
- Computing the top Betti numbers of semialgebraic sets defined by quadratic inequalities in polynomial time (Q937274) (← links)
- Computing the first Betti number of a semi-algebraic set (Q937278) (← links)
- On sign conditions over real multivariate polynomials (Q977180) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Sign determination in residue number systems (Q1274813) (← links)
- Polar varieties, real equation solving, and data structures: the hypersurface case (Q1361872) (← links)
- On computing a set of points meeting every cell defined by a family of polynomials on a variety (Q1361873) (← links)
- Homogeneous multivariate polynomials with the half-plane property (Q1432999) (← links)
- Some speed-ups and speed limits for real algebraic geometry (Q1594829) (← links)
- Real computations with fake numbers (Q1599196) (← links)
- Transfer theorems via sign conditions (Q1603522) (← links)
- Anderson localization for Schrödinger operators on \(\mathbb{Z}^2\)with quasi-periodic potential (Q1611556) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (Q1733314) (← links)
- Simultaneous elimination by using several tools from real algebraic geometry (Q1808663) (← links)
- Real solving for positive dimensional systems. (Q1867000) (← links)
- Systems of rational polynomial equations have polynomial size approximate zeros on the average (Q1869964) (← links)
- Towards faster real algebraic numbers (Q1878487) (← links)
- Numerically computing real points on algebraic sets (Q1956231) (← links)
- Polynomial hierarchy, Betti numbers, and a real analogue of Toda's theorem (Q1959088) (← links)
- The real dimension problem is \(\text{NP}_{\mathbb R}\)-complete. (Q1974570) (← links)
- Topological complexity of the range searching (Q1977139) (← links)
- Anderson localization for a generalized Maryland model with potentials given by skew shifts (Q2078214) (← links)
- Techniques and results on approximation algorithms for packing circles (Q2082050) (← links)
- Euclidean distance degree and mixed volume (Q2098233) (← links)
- Anderson localization for multi-frequency quasi-periodic Jacobi operators (Q2098857) (← links)
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) (Q2104500) (← links)
- An introduction to multiscale techniques in the theory of Anderson localization. I (Q2132499) (← links)
- A logic and computation for Popper's conditional probabilities (Q2146066) (← links)
- Anderson localization for Jacobi matrices associated with high-dimensional skew shifts (Q2193006) (← links)