Standard bases in mixed power series and polynomial rings over rings

DOI10.1016/j.jsc.2016.08.009zbMath1369.13036arXiv1509.07528OpenAlexW2269221822MaRDI QIDQ321289

Thomas Markwig, Yue Ren, Oliver Wienand

Publication date: 13 October 2016

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

Full work available at URL: https://arxiv.org/abs/1509.07528

zbMATH Keywords

division with remaindermonomial orderingstandard basis

Mathematics Subject Classification ID

Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Non-Archimedean valued fields (12J25) Formal power series rings (13F25)

Related Items

Gröbner fans of \(x\)-homogeneous ideals in \(R [\![ t \!][x]\)] ⋮ Computing tropical varieties over fields with valuation ⋮ Some improvements for the algorithm of Gröbner bases over dual valuation domain ⋮ Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians

Uses Software

• SINGULAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effective computation of strong Gröbner bases over Euclidean domains
• On the construction of Gröbner bases using syzygies
• Stability and Buchberger criterion for standard bases in power series rings
• Dynamical Gröbner bases over Dedekind rings
• Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
• The Gröbner fan of an ideal
• La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra
• A computational model for algebraic power series
• The tangent cone algorithm and homogenization
• Converting bases with the Gröbner walk
• Advances and improvements in the theory of standard bases and syzygies
• Perfect bases for differential equations
• Computing tropical varieties
• The generic Gröbner walk
• Standard bases in \(Kt_1,\ldots ,t_m[x_1,\ldots ,x_n^s\)]
• Über die Deformation isolierter Singularitäten analytischer Mengen
• STANDARD BASES OVER RINGS
• Computing Gröbner fans
• Gröbner Bases over Commutative Rings and Applications to Coding Theory