Un Algorithme pour le Calcul des Syzygies surV[X] dans le cas oùVest un Domaine de Valuation

DOI10.1080/00927872.2013.794360MaRDI QIDQ2876243zbMATH OpenOpenAlexFDO

Authors Henri Lombardi, Claude Quitté, Ihsen Yengui

Publication date 18 August 2014

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927872.2013.794360

zbMATH Keywords

coherencecomputer algebrasaturationsyzygiesvaluation domainsconstructive algebra

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Syzygies, resolutions, complexes and commutative rings (13D02) Theory of modules and ideals in commutative rings (13C99) Valuations and their generalizations for commutative rings (13A18) Computational aspects and applications of commutative rings (13P99)

Recommendations

• Computing syzygies over \(V [X_1, \ldots, X_k]\), \(V\) a valuation domain
• COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}], R A VALUATION RING
• A divide-and-conquer algorithm for computing gröbner bases of syzygies in finite dimension
• scientific article; zbMATH DE number 4212197
• Computing syzygies in finite dimension using fast linear algebra
• An algorithm for computing set-theoretic generators of an algebraic variety
• Computation in valuation algebras
• On the complexity of computing syzygies
• A Gröbner basis algorithm for ideals over zero-dimensional valuation rings
• Computing syzygies by Faugère's \(\mathbb{F}_{5}\) algorithm

Cites work

• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• A course in constructive algebra
• Algorithmic theory of arithmetic rings, Prüfer rings and Dedekind rings. (Théorie algorithmique des anneaux arithmétiques, des anneaux de Prüfer et des anneaux de Dedekind.)
• Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
• Commutative coherent rings
• Dynamical Gröbner bases
• Dynamical Gröbner bases over Dedekind rings
• The Gröbner ring conjecture in one variable

Cited in

(4)

• COMPUTING SYZYGIES OVER R[X_{1}^{\pm 1},...,X_{n}^{\pm 1}], R A VALUATION RING
• Computing syzygies over \(V [X_1, \ldots, X_k]\), \(V\) a valuation domain
• Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X]^m\) where \textbf{V} is a valuation domain
• The Gröbner ring conjecture in the lexicographic order case

This page was built for publication: Un Algorithme pour le Calcul des Syzygies surV[X] dans le cas oùVest un Domaine de Valuation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2876243)