Computing generators of the ideal of a smooth affine algebraic variety

DOI10.1016/j.jsc.2004.02.002zbMath1137.14319OpenAlexW2144770566MaRDI QIDQ2643543

Gabriela Jeronimo, Pablo Solernó, Cristina Blanco

Publication date: 24 August 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2004.02.002

zbMATH Keywords

straight-line programsregular ringsregular idealcomputation of the radical ofefficient generation of polynomial idealsnumber and degree of generators of polynomial ideals

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Related Items

Growth in finite simple groups of Lie type, Surjective morphisms from affine space to its Zariski open subsets, Partition and analytic rank are equivalent over large fields, Computing real radicals and \(S\)-radicals of polynomial systems, Interpolation of ideals

Cites Work

• Derivations and radicals of polynomial ideals over fields of arbitrary characteristic
• Definability and fast quantifier elimination in algebraically closed fields
• Gröbner bases and primary decomposition of polynomial ideals
• Direct methods for primary decomposition
• On the Chow form
• On the Forster-Eisenbud-Evans conjectures
• On two conjectures about polynomial rings
• Straight-line programs in geometric elimination theory
• Every algebraic set in n-space is the intersection of n hypersurfaces
• Sharp estimates for the arithmetic Nullstellensatz
• The calculation of radical ideals in positive characteristic
• The computational complexity of the Chow form
• Algebraic Geometry. I: Complex projective varieties.
• Bemerkung zu einem Satz von M. Kneser
• Computing Chow Forms and Some Applications
• Greatest common divisors of polynomials given by straight-line programs
• Fast Probabilistic Algorithms for Verification of Polynomial Identities
• Degree bounds for generators of cohomology modules and Castelnuovo-Mumford regularity
• What can be computed in algebraic geometry?
• Varieties Defined by Quadratic Equations
• Computing the radical of an ideal in positive characteristic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item