Dynamical Gröbner bases over Dedekind rings
From MaRDI portal
Publication:984989
DOI10.1016/j.jalgebra.2010.04.014zbMath1200.13047MaRDI QIDQ984989
Ihsen Yengui, Amina Hadj Kacem
Publication date: 20 July 2010
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jalgebra.2010.04.014
Gröbner basis; constructive mathematics; Gröbner rings; Dedekind rings; dynamical Gröbner basis; ideal membership problem; principal rings
13F20: Polynomial rings and ideals; rings of integer-valued polynomials
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
13F05: Dedekind, Prüfer, Krull and Mori rings and their generalizations
Related Items
Noncommutative Gröbner Bases over Rings, The Gröbner ring conjecture in one variable, On the leading terms ideals of polynomial ideals over a valuation ring, Computing the \textbf{V}-saturation of finitely-generated submodules of \(\mathbf{V} [X^m\) where \textbf{V} is a valuation domain], Corrigendum to ``Dynamical Gröbner bases and to ``Dynamical Gröbner bases over Dedekind rings, A negative answer to a question about leading terms ideals of polynomial ideals, Computing syzygies over \(V [X_1, \ldots, X_k\), \(V\) a valuation domain], The Gröbner ring conjecture in the lexicographic order case, Un Algorithme pour le Calcul des Syzygies surV[X dans le cas oùVest un Domaine de Valuation]
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamical Gröbner bases
- On the construction of Gröbner bases using syzygies
- A constructive comparison of the rings \(R(X)\) and \(R\langle X\rangle\) and application to the Lequain-Simis induction theorem
- Syzygies of canonical curves and special linear series
- A course in constructive algebra
- Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen
- Krull dimension, Nullstellensätze and dynamical evaluation
- Approximating rings of integers in number fields
- 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.)
- Gröbner bases with coefficients in rings
- Making the use of maximal ideals constructive
- Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa
- Stably free modules over $\mathbf{R}[X$ of rank $> \dim\mathbf{R}$ are free]
- A standard basis approach to syzygies of canonical curves.
- Sketches and computation – II: dynamic evaluation and applications
- Factoring into coprimes in essentially linear time
- Nontrivial Uses of Trivial Rings
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Dynamical method in algebra: Effective Nullstellensätze