Recursive structures in involutive bases theory
From MaRDI portal
Publication:2701027
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
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