Recursive structures in involutive bases theory

DOI10.1016/j.jsc.2023.01.003OpenAlexW4318561961MaRDI QIDQ2701027

Werner M. Seiler, Matthias Orth, Amir Hashemi

Publication date: 27 April 2023

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

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

zbMATH Keywords

involutive basesgeneric positionsJanet treesJanet-like basesPommaret-like basesSchreyer's theorem

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Syzygies, resolutions, complexes and commutative rings (13D02)

Cites Work

• On the free resolution induced by a Pommaret basis
• Noether normalization guided by monomial cone decompositions
• Involution. The formal theory of differential equations and its applications in computer algebra
• A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type
• On an installation of Buchberger's algorithm
• Finding sparse systems of parameters
• Involutive bases of polynomial ideals
• Minimal involutive bases
• Deterministic genericity for polynomial ideals
• Bar code for monomial ideals
• Complementary decompositions of monomial ideals and involutive bases
• Vector space bases associated to vanishing ideals of points
• Syzygies, finite length modules, and random curves
• Solving Polynomial Equation Systems
• Effective Genericity, δ-Regularity and Strong Noether Position
• Ideals, Varieties, and Algorithms
• Strong Nœther Position and Stabilized Regularities
• Computer Algebra in Scientific Computing
• Computer Algebra in Scientific Computing
• Complexity of Comparing Monomials and Two Improvements of the Buchberger-Möller Algorithm
• Computing the Castelnuovo-Mumford regularity of some subschemes of \(\mathbb{P}_K^n\) using quotients of monomial ideals
• Applications of bar code to involutive divisions and a ``greedy algorithm for complete sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Recursive structures in involutive bases theory