A new incremental algorithm for computing Groebner bases
From MaRDI portal
Publication:2946515
DOI10.1145/1837934.1837944zbMath1321.68531OpenAlexW2058865345MaRDI QIDQ2946515
Shuhong Gao, Frank Volny IV, Yinhua Guan
Publication date: 17 September 2015
Published in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1837934.1837944
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items
An improvement for GVW ⋮ Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra ⋮ The F5 algorithm in Buchberger's style ⋮ A new framework for computing Gröbner bases ⋮ A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings. ⋮ Computing comprehensive Gröbner systems: a comparison of two methods ⋮ Gröbner bases techniques for an \(S\)-packing \(k\)-coloring of a graph ⋮ A new proof for the correctness of the F5 algorithm ⋮ Invariant \(\mathrm G^2\mathrm V\) algorithm for computing SAGBI-Gröbner bases ⋮ Computing coupled border bases ⋮ A signature-based algorithm for computing the nondegenerate locus of a polynomial system ⋮ Resultant elimination via implicit equation interpolation ⋮ Axioms for a theory of signature bases ⋮ Counting roots for polynomials modulo prime powers ⋮ Gröbner bases of generic ideals ⋮ Applying IsRewritten criterion on Buchberger algorithm ⋮ Involutive bases algorithm incorporating F\(_5\) criterion ⋮ An analysis of inhomogeneous signature-based Gröbner basis computations ⋮ GVW algorithm over principal ideal domains ⋮ A survey on signature-based algorithms for computing Gröbner bases ⋮ The initial ideal of generic sequences and Fröberg's conjecture ⋮ Speeding up the GVW algorithm via a substituting method ⋮ Finding Fuzzy Inverse Matrix Using Wu’s Method ⋮ Solving the 100 swiss francs problem ⋮ An improvement over the GVW algorithm for inhomogeneous polynomial systems ⋮ Complexity of Gröbner basis detection and border basis detection ⋮ On the use of Buchberger criteria in \(\mathrm G^2\mathrm V\) algorithm for calculating Gröbner bases ⋮ Termination of the F5 algorithm ⋮ An involutive GVW algorithm and the computation of Pommaret bases ⋮ Improved Computation of Involutive Bases ⋮ A signature-based algorithm for computing Gröbner bases over principal ideal domains ⋮ Applying Gröbner basis method to multiparametric polynomial nonlinear programming ⋮ A new signature-based algorithms for computing Gröbner bases ⋮ Simple signature based iterative algorithm for calculation of Gröbner bases
Uses Software
Cites Work
- Differential algebra for derivations with nontrivial commutation rules
- Generating differential invariants
- Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds
- Smooth and algebraic invariants of a group action: Local and global constructions
- Differential invariants of a Lie group action: syzygies on a generating set
- Invariants différentiels d'un pseudogroupe de Lie. I
- Invariants différentiels d'un pseudogroupe de Lie. II
- Higher order contact of submanifolds of homogeneous spaces
- Moving coframes. II: Regularization and theoretical foundations
- Rational invariants of a group action. Construction and rewriting
- Differential invariants of conformal and projective surfaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
