A speed-up of the algorithm for computing comprehensive Gröbner systems
From MaRDI portal
Publication:5301685
zbMATH Open1190.13025MaRDI QIDQ5301685FDOQ5301685
Authors: Katsusuke Nabeshima 
Publication date: 20 January 2009
Recommendations
- A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
- An efficient method for computing comprehensive Gröbner bases
- A new algorithm for computing comprehensive Gröbner systems
- Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously
- Comprehensive Gröbner bases
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Cited In (24)
- A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
- Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system
- An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system
- An Improvement of Rosenfeld-Gröbner Algorithm
- A parametric \(\mathrm{F}_4\) algorithm
- Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm
- Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules
- Improvement of an incremental signature-based comprehensive Gröbner system algorithm
- Generic regular decompositions for parametric polynomial systems
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover
- A new algorithm for computing comprehensive Gröbner systems
- On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems
- An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form
- On the computation of parametric Gröbner bases for modules and syzygies
- Algorithmic detection of conserved quantities for finite-difference schemes
- A Study on Gröbner Basis with Inexact Input
- Merging multiple algorithms for computing comprehensive Gröbner systems using parallel processing
- Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously
- Comprehensive characteristic decomposition of parametric polynomial systems
- Parametric FGLM algorithm
- Automated reducible geometric theorem proving and discovery by Gröbner basis method
- On multivariate Hermitian quadratic forms
- An improvement of the rational representation for high-dimensional systems
- Generic regular decompositions for generic zero-dimensional systems
Uses Software
This page was built for publication: A speed-up of the algorithm for computing comprehensive Gröbner systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5301685)
