Minimal canonical comprehensive Gröbner systems

DOI10.1016/j.jsc.2007.07.022zbMath1159.13304arXivmath/0611948OpenAlexW2077140256MaRDI QIDQ1012136

Antonio Montes, Montserrat Manubens

Publication date: 14 April 2009

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

minimalcomprehensive Gröbner systemconstructible setscanonicalgeneralized canonical specificationreduced specification

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Related Items (15)

Gröbner systems conversion ⋮ First order perturbation and local stability of parametrized systems ⋮ Computing comprehensive Gröbner systems: a comparison of two methods ⋮ Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm ⋮ Gröbner bases for polynomial systems with parameters ⋮ An efficient method of finding new symplectic schemes for Hamiltonian mechanics problems with the aid of parametric Gröbner bases ⋮ Automated reducible geometric theorem proving and discovery by Gröbner basis method ⋮ On solving parametric polynomial systems ⋮ A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases ⋮ Generalizing the Steiner-Lehmus theorem using the Gröbner cover ⋮ Minimal polynomial systems for parametric matrices ⋮ Parametric FGLM algorithm ⋮ On computing absolutely irreducible components of algebraic varieties with parameters ⋮ Cylinders Through Five Points: Complex and Real Enumerative Geometry ⋮ Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems

Uses Software

• dpgb
• Maple
• SINGULAR
• REDLOG

Cites Work

• Comprehensive Gröbner bases
• On the stability of Gröbner bases under specializations
• A new algorithm for discussing Gröbner bases with parameters.
• An alternative approach to comprehensive Gröbner bases
• Canonical comprehensive Gröbner bases
• Improving the DISPGB algorithm using the discriminant ideal
• Gröbner bases for families of affine or projective schemes
• A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
• Computer Algebra in Scientific Computing

This page was built for publication: Minimal canonical comprehensive Gröbner systems