Sharp estimates for the arithmetic Nullstellensatz
From MaRDI portal
Publication:1847866
DOI10.1215/S0012-7094-01-10934-4zbMath1010.11035arXivmath/9911094OpenAlexW2076593831MaRDI QIDQ1847866
Martín Sombra, Teresa Krick, Luis Miguel Pardo
Publication date: 27 October 2002
Published in: Duke Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9911094
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Varieties over global fields (11G35) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)
Related Items
A softly optimal Monte Carlo algorithm for solving bivariate polynomial systems over the integers, Nullstellensatz via Nonstandard Methods, Complexity results for triangular sets, Quantitative Chevalley-Weil theorem for curves, Averaging Residue Currents and the Stückrad–Vogel Algorithm, On the zeta Mahler measure function of the Jacobian determinant, condition numbers and the height of the generic discriminant, Computing generators of the ideal of a smooth affine algebraic variety, Accurate solution of polynomial equations using Macaulay resultant matrices, Reductions modulo primes of systems of polynomial equations and algebraic dynamical systems, Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\), On the Mahler measure of resultants in small dimensions, On the complexity exponent of polynomial system solving, Deformation techniques to solve generalised Pham systems, Orbits of Algebraic Dynamical Systems in Subgroups and Subfields, Unlikely intersections and multiple roots of sparse polynomials, Separation bounds for polynomial systems, On sets of linear forms of maximal complexity, Bit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimization, Separation of periods of quartic surfaces, Orbits of polynomial dynamical systems modulo primes, New effective differential Nullstellensatz, Products with variables from low-dimensional affine spaces and shifted power identity testing in finite fields, Polynomial interpolation and identity testing from high powers over finite fields, Effective coefficient asymptotics of multivariate rational functions via semi-numerical algorithms for polynomial systems, An arithmetic Poisson formula for the multi-variate resultant, Bit-size estimates for triangular sets in positive dimension, Fibers of Multi-Graded Rational Maps and Orthogonal Projection onto Rational Surfaces, Bezoutian and quotient ring structure, Rational invariants of a group action. Construction and rewriting, On the bit complexity of polynomial system solving, MULTIPLICATIVE ORDERS IN ORBITS OF POLYNOMIALS OVER FINITE FIELDS, The inverse sieve problem for algebraic varieties over global fields, Residue calculus and applications, What can we do with a Solution?, Effectivity of Brauer-Manin obstructions, Improved explicit estimates on the number of solutions of equations over a finite field, A bound for orders in differential Nullstellensatz, On the complexity of the resolvent representation of some prime differential ideals, Macaulay style formulas for sparse resultants, Explicit formulas for the multivariate resultant., Multiplicative independence of algebraic numbers and expressions, A general version of the Nullstellensatz for arbitrary fields, A new inequality about matrix products and a Berger-Wang formula, On elements of large order on elliptic curves and multiplicative dependent images of rational functions over finite fields, Orders of points in families of elliptic curves, An algorithm for implicit interpolation, Puiseux Expansions and Nonisolated Points in Algebraic Varieties, On the Height of the Sylvester Resultant, Ideal membership in polynomial rings over the integers, Bounds for multivariate residues and for the polynomials in the elimination theorem, On degree bounds for the sparse Nullstellensatz, Fp is locally like ℂ, ELEMENTS OF LARGE ORDER IN PRIME FINITE FIELDS, Bit complexity for computing one point in each connected component of a smooth real algebraic set, Smooth points on semi-algebraic sets, Effective equidimensional decomposition of affine varieties, Systems of rational polynomial equations have polynomial size approximate zeros on the average, Elements of large order on varieties over prime finite fields
