On the complexity of computing syzygies
From MaRDI portal
Publication:1117693
DOI10.1016/S0747-7171(88)80039-7zbMath0667.68053WikidataQ102119303 ScholiaQ102119303MaRDI QIDQ1117693
Publication date: 1988
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Polynomials over commutative rings (13B25)
Related Items (53)
Computing representation matrices for the action of Frobenius on cohomology groups ⋮ A solution to Kronecker's problem ⋮ On the embedded primes of the Mayr-Meyer ideals ⋮ Polly cracker, revisited ⋮ Algorithmic aspects of Suslin's proof of Serre's conjecture ⋮ Subadditivity of Syzygies of Ideals and Related Problems ⋮ Regularity of prime ideals ⋮ Upper bounds for the degrees of the equations defining locally Cohen- Macaulay schemes ⋮ Linear syzygies, flag complexes, and regularity ⋮ On the Cohen-Macaulay type of the general hypersurface section of a curve ⋮ Open problems on syzygies and Hilbert functions ⋮ A sharp Castelnuovo bound for smooth surfaces ⋮ Castelnuovo-Mumford regularity of initial ideals ⋮ The regularity conjecture for prime ideals in polynomial rings ⋮ Computational aspects of the coordinate ring of an algebraic variety ⋮ Binomial ideals ⋮ Ideals generated by quadrics exhibiting double exponential degrees ⋮ Unnamed Item ⋮ Syzygies over a polynomial ring ⋮ The minimal components of the Mayr-Meyer ideals. ⋮ W-Gröbner basis and monomial ideals under polynomial composition ⋮ Syzygies of curves in products of projective spaces ⋮ Segre-driven radicality testing ⋮ Syzygies for Metropolis base chains ⋮ Linear syzygies, hyperbolic Coxeter groups and regularity ⋮ On the maximal graded shifts of ideals and modules ⋮ Towards a structure theory for projective varieties of degree = codimension + 2 ⋮ Algebras defined by powers of determinantal idelas ⋮ Grete Hermann and effective methods in geometry ⋮ A construction of codimension three arithmetically Gorenstein subschemes of projective space ⋮ A Gröbner basis technique for Padé approximation ⋮ GENERALIZED REDUCTION TO COMPUTE TORIC IDEALS ⋮ Vanishing Theorems, A Theorem of Severi, and the Equations Defining Projective Varieties ⋮ Computation of Hilbert functions ⋮ FIRST SYZYGIES OF TORIC VARIETIES AND DIOPHANTINE EQUATIONS IN CONGRUENCE ⋮ Bounding the degrees of a minimal \(\mu\)-basis for a rational surface parametrization ⋮ Many associated primes of powers of primes ⋮ Subadditivity of syzygies of Koszul algebras ⋮ Mathematical vanity plates ⋮ Macaulay-like marked bases ⋮ Holonomic gradient descent for the Fisher-Bingham distribution on the \(d\)-dimensional sphere ⋮ Curves of degree \(r+2\) in \(\mathbb{P}^r\): Cohomological, geometric, and homological aspects ⋮ Properness defects of projection and minimal discriminant variety ⋮ A surjectivity theorem for differential operators on spaces of regular functions ⋮ Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields ⋮ On the parallel complexity of the polynomial ideal membership problem ⋮ Linearization of resolutions via products ⋮ Reduced Gorenstein codimension three subschemes of projective space ⋮ Counterexamples to the Eisenbud–Goto regularity conjecture ⋮ On polynomial vector fields having a given affine variety as attractive and invariant set: application to robotics ⋮ A new lower bound construction for commutative Thue systems with applications ⋮ A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements. ⋮ Linearly presented modules and bounds on the Castelnuovo-Mumford regularity of ideals
Cites Work
- Linear free resolutions and minimal multiplicity
- Fields of large transcendence degree generated by values of elliptic functions
- On a theorem of Castelnuovo, and the equations defining space curves
- A Castelnuovo bound for smooth surfaces
- Bounds for the degrees in the Nullstellensatz
- The complexity of the word problems for commutative semigroups and polynomial ideals
- Constructions in Algebra
- Lectures on Curves on an Algebraic Surface. (AM-59)
This page was built for publication: On the complexity of computing syzygies
