Minimal involutive bases

DOI10.1016/S0378-4754(97)00128-6zbMath1017.13501arXivmath/9912029OpenAlexW1983814377WikidataQ126376706 ScholiaQ126376706MaRDI QIDQ1404737

Yu. A. Blinkov, Vladimir P. Gerdt

Publication date: 21 August 2003

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

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

zbMATH Keywords

Gröbner basesComputer algebrainvolutive basesMinimalInvolutive algorithmInvolutive monomial divisionPolynomial ideals

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects and applications of commutative rings (13P99)

Related Items (34)

Efficiency estimate for distributed computation of Gröbner bases and involutive bases ⋮ Using dynamic memory reallocation in GInv ⋮ De Nugis Groebnerialium 7: Janet, Gerdt, Tamari ⋮ Applications of bar code to involutive divisions and a ``greedy algorithm for complete sets ⋮ Further perspectives on elimination ⋮ On constructivity of involutive divisions ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ Recursive structures in involutive bases theory ⋮ Involutive divisions and monomial orderings ⋮ From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work ⋮ On the free resolution induced by a Pommaret basis ⋮ Term-ordering free involutive bases ⋮ Combinatorial decompositions for monomial ideals ⋮ Effective Genericity, δ-Regularity and Strong Noether Position ⋮ Complete involutive rewriting systems ⋮ Asymmetric approach to computation of Gröbner bases ⋮ A general framework for Noetherian well ordered polynomial reductions ⋮ Involutive characteristic sets of algebraic partial differential equation systems ⋮ An implementation for the algorithm of Janet bases of linear differential ideals in the Maple system ⋮ ICS: A package for computing involutive characteristic set of algebraic partial differential equation systems ⋮ Unnamed Item ⋮ Involutive directions and new involutive divisions ⋮ Macaulay inverse systems revisited ⋮ Flat families by strongly stable ideals and a generalization of Gröbner bases ⋮ Toward involutive bases over effective rings ⋮ Parallel computation of Janet and Gröbner bases over rational numbers ⋮ Involutive divisions: Slice and pair properties ⋮ Relative Gröbner and involutive bases for ideals in quotient rings ⋮ A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases ⋮ A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type ⋮ Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures ⋮ Bar code: a visual representation for finite sets of terms and its applications ⋮ Involutive bases in the Weyl algebra. ⋮ Involutive bases under composition

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-commutative Gröbner bases in algebras of solvable type
• On an installation of Buchberger's algorithm
• An algorithm for determining the size of symmetry groups
• Efficient computation of zero-dimensional Gröbner bases by change of ordering
• An introduction to commutative and noncommutative Gröbner bases
• Gröbner bases and involutive methods for algebraic and differential equations
• Involutive systems of algebraic equations
• A Gröbner approach to involutive bases
• Construction of finitely presented Lie algebras and superalgebras
• Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution
• Gröbner and involutive bases for zero-dimensional ideals

This page was built for publication: Minimal involutive bases