A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
type: Item
instance of: scholarly article
title: A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
zbMATH Open document ID: 1417.68295
author: Dong Lu
author: Yao Sun
author: Dingkang Wang
published in: Journal of Systems Science and Complexity
publication date: 2019-03-06T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 7032436
zbMATH Keywords: comprehensive Gröbner basis
zbMATH Keywords: comprehensive Gröbner system
zbMATH Keywords: discovering geometric theorems mechanically
zbMATH Keywords: parametric polynomial system
zbMATH Keywords: quantifier elimination
describes a project that uses: dpgb
describes a project that uses: PGB
describes a project that uses: PGFAN.sage
describes a project that uses: parametric GCD
MaRDI profile type: Publication
full work available at URL: s11424-019-8357-z
OpenAlex ID: W2913333968
cites work: Q4004335
cites work: Q4234261
cites work: An algorithm for solving parametric linear systems
cites work: Comprehensive Triangular Decomposition
cites work: Solving parametric polynomial systems
cites work: Parametric equation solving and quantifier elimination in finite fields with the characteristic set method
cites work: Generic regular decompositions for parametric polynomial systems
cites work: Automated Deduction in Geometry
cites work: Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
cites work: Automated reducible geometric theorem proving and discovery by Gröbner basis method
cites work: Solving the perspective-three-point problem using comprehensive Gröbner systems
cites work: Q4391232
cites work: A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
cites work: Real quantifier elimination by computation of comprehensive Gröbner systems
cites work: On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems
cites work: Improving a CGS-QE Algorithm
cites work: On the Implementation of CGS Real QE
cites work: Comprehensive Gröbner bases
cites work: A new algorithm for discussing Gröbner bases with parameters.
cites work: Q4660715
cites work: Canonical comprehensive Gröbner bases
cites work: Improving the DISPGB algorithm using the discriminant ideal
cites work: An alternative approach to comprehensive Gröbner bases
cites work: Gröbner bases for families of affine or projective schemes
cites work: Minimal canonical comprehensive Gröbner systems
cites work: Gröbner bases for polynomial systems with parameters
cites work: A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
cites work: On the stability of Gröbner bases under specializations
cites work: Q5301685
cites work: A new algorithm for computing comprehensive Gröbner systems
cites work: An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system
cites work: Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously
cites work: An efficient method for computing comprehensive Gröbner bases
cites work: An algorithm to check whether a basis of a parametric polynomial system is a comprehensive Gröbner basis and the associated completion algorithm
cites work: Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm
cites work: Gröbner systems conversion
cites work: The generic Gröbner walk
cites work: Universal Gröbner basis for parametric polynomial ideals
cites work: Q4153620
cites work: Basic principles of mechanical theorem proving in elementary geometries
cites work: Q4023642
cites work: Q4079605
cites work: A simple proof of the Beijing theorem
cites work: Parametric Greatest Common Divisors using Comprehensive Gröbner Systems
cites work: An Efficient Algorithm for Computing Parametric Multivariate Polynomial GCD
DOI: 10.1007/S11424-019-8357-Z
description: scientific article; zbMATH DE number 7032436