Pages that link to "Item:Q798314"
From MaRDI portal
The following pages link to Definability and fast quantifier elimination in algebraically closed fields (Q798314):
Displaying 50 items.
- Improved complexity bounds for counting points on hyperelliptic curves (Q2420634) (← links)
- On the value set of small families of polynomials over a finite field. I (Q2439575) (← links)
- On the probability distribution of singular varieties of given corank (Q2457405) (← links)
- Computing multihomogeneous resultants using straight-line programs (Q2457419) (← links)
- Change of order for regular chains in positive dimension (Q2476011) (← links)
- Upper bounds on the distribution of the condition number of singular matrices (Q2484545) (← links)
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets (Q2489141) (← links)
- Improved explicit estimates on the number of solutions of equations over a finite field (Q2490135) (← links)
- On the complexity of the resolvent representation of some prime differential ideals (Q2496182) (← links)
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients (Q2509948) (← links)
- Quantitative aspects of the generalized differential Lüroth's theorem (Q2636381) (← links)
- Computing generators of the ideal of a smooth affine algebraic variety (Q2643543) (← links)
- On the complexity exponent of polynomial system solving (Q2658549) (← links)
- On the computation of rational solutions of underdetermined systems over a finite field (Q2685068) (← links)
- Quantifier elimination theory and maps which preserve semipositivity (Q2687228) (← links)
- On the number of zero-patterns of a sequence of polynomials (Q2719034) (← links)
- Degree and Dimension Estimates for Invariant Ideals of $$P$$ -Solvable Recurrences (Q2799570) (← links)
- Puiseux Expansions and Nonisolated Points in Algebraic Varieties (Q2813651) (← links)
- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree (Q2829999) (← links)
- Point searching in real singularcomplete intersection varieties: algorithms of intrinsic complexity (Q2871188) (← links)
- Computational aspects of the coordinate ring of an algebraic variety (Q3203128) (← links)
- Nullstellensatz effectif et Conjecture de Serre (Théorème de Quillen-Suslin) pour le Calcul Formel (Q3353156) (← links)
- Definable sets in algebraically closed valued fields: elimination of imaginaries (Q3413792) (← links)
- Fast computation of a rational point of a variety over a finite field (Q3420246) (← links)
- On the probability distribution of condition numbers of complete intersection varieties and the average radius of convergence of Newton's method in the underdetermined case (Q3433761) (← links)
- Random algebraic construction of extremal graphs (Q3458419) (← links)
- Definability in reducts of algebraically closed fields (Q3798644) (← links)
- Quantifier elimination in separably closed fields of finite imperfectness degree (Q3804677) (← links)
- Definable equivalence relations on algebraically closed fields (Q4207892) (← links)
- Practically solving some problems expressed in the first order theory of real closed field (Q4256129) (← links)
- Algebraic dimension over Frobenius fields (Q4276472) (← links)
- Free-Form Modeling in Bilateral Brep and CSG Representation Schemes (Q4513223) (← links)
- WELL-FORMED SET REPRESENTATIONS OF SOLIDS (Q4513238) (← links)
- Sur la complexité du principe de Tarski-Seidenberg (Q4713865) (← links)
- On maps which preserve semipositivity and quantifier elimination theory for real numbers (Q5065095) (← links)
- Degree bound for toric envelope of a linear algebraic group (Q5070551) (← links)
- Ascending chains of ideals in the polynomial ring (Q5099835) (← links)
- Spectral norm of a symmetric tensor and its computation (Q5113665) (← links)
- Partial differential Chow forms and a type of partial differential Chow varieties (Q5119323) (← links)
- On the complexity of computing a random Boolean function over the reals (Q5140843) (← links)
- Elimination of unknowns for systems of algebraic differential-difference equations (Q5141753) (← links)
- Bounds on the torsion subgroups of Néron–Severi groups (Q5141755) (← links)
- (Q5187264) (← links)
- Effective definability of Kolchin polynomials (Q5218192) (← links)
- Effective de Rham cohomology — The general case (Q5225782) (← links)
- Distinct Distances on Algebraic Curves in the Plane (Q5366936) (← links)
- (Q5389777) (← links)
- Algorithms yield upper bounds in differential algebra (Q5879624) (← links)
- On multiplicative energy of subsets of varieties (Q5879636) (← links)
- Average-case complexity of the Euclidean algorithm with a fixed polynomial over a finite field (Q5886315) (← links)
