Detecting unnecessary reductions in an involutive basis computation
From MaRDI portal
Publication:2456593
DOI10.1016/j.jsc.2004.04.004zbMath1120.13028MaRDI QIDQ2456593
Publication date: 19 October 2007
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2004.04.004
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
Related Items
Algorithmic Thomas decomposition of algebraic and differential systems, Involutive method for computing Gröbner bases over \(\mathbb F_2\), Role of involutive criteria in computing Boolean Gröbner bases, A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type, Effectiveness of involutive criteria in computation of polynomial Janet bases, Involutive bases algorithm incorporating F\(_5\) criterion, Parallel computation of Janet and Gröbner bases over rational numbers, Sufficient set of integrability conditions of an orthonomic system, Thomas Decomposition of Algebraic and Differential Systems
Cites Work
- Non-commutative Gröbner bases in algebras of solvable type
- An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras
- On an installation of Buchberger's algorithm
- The theory of involutive divisions and an application to Hilbert function computations
- Involutive bases of polynomial ideals
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item