Pages that link to "Item:Q4371694"
From MaRDI portal
The following pages link to On the combinatorial and algebraic complexity of quantifier elimination (Q4371694):
Displaying 50 items.
- 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)
- Intrinsic complexity estimates in polynomial optimization (Q2251913) (← links)
- Computing the homology of semialgebraic sets. I: Lax formulas (Q2291730) (← links)
- Approximating the rectilinear crossing number (Q2331210) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- On the planar piecewise quadratic 1-center problem (Q2379920) (← links)
- Generalized polar varieties: geometry and algorithms (Q2387411) (← links)
- Quantum automata and algebraic groups (Q2456549) (← links)
- Computing the first few Betti numbers of semi-algebraic sets in single exponential time (Q2457390) (← links)
- On projections of semi-algebraic sets defined by few quadratic inequalities (Q2482191) (← links)
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Realizing RCC8 networks using convex regions (Q2512988) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- A potential reduction algorithm for two-person zero-sum mean payoff stochastic games (Q2636482) (← links)
- Computing the average inter-sample time of event-triggered control using quantitative automata (Q2677100) (← links)
- Computing a nonnegative matrix factorization -- provably (Q2817794) (← links)
- Exact algorithms for linear matrix inequalities (Q2834563) (← links)
- Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity (Q2871188) (← links)
- Approximating the Rectilinear Crossing Number (Q2961535) (← links)
- On the Generation of Positivstellensatz Witnesses in Degenerate Cases (Q3088010) (← links)
- Parts of quantum states (Q3102464) (← links)
- Improved Algorithms for Sign Determination and Existential Quantifier Elimination (Q3140551) (← links)
- New results on quantifier elimination over real closed fields and applications to constraint databases (Q3158549) (← links)
- The theory of Liouville functions (Q3160545) (← links)
- The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements (Q3162519) (← links)
- On the complexity of identifying head-elementary-set-free programs (Q3400962) (← links)
- Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets (Q3451759) (← links)
- A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS (Q3580663) (← links)
- Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests (Q3589077) (← links)
- (Q4226937) (← links)
- (Q4496280) (← links)
- Symbolic computation in hyperbolic programming (Q4561483) (← links)
- Computing roadmaps of semi-algebraic sets on a variety (Q4700178) (← links)
- Definability of Geometric Properties in Algebraically Closed Fields (Q4704658) (← links)
- Topological types of Pfaffian manifolds (Q4825399) (← links)
- Matrix completion and related problems via strong duality (Q4993268) (← links)
- Parameterized Analysis of Art Gallery and Terrain Guarding (Q5042224) (← links)
- An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem (Q5108709) (← links)
- (Q5389777) (← links)
- Advances in Databases and Information Systems (Q5464722) (← links)
- Centerpoints: A Link between Optimization and Convex Geometry (Q5737732) (← links)
- An Almost Optimal Algorithm for Computing Nonnegative Rank (Q5743610) (← links)
- Anderson localization for long-range operators with singular potentials (Q5855668) (← links)
- Finding at least one point in each connected component of a real algebraic set defined by a single equation (Q5925972) (← links)
