On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems
type: Item
instance of: scholarly article
title: On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems
zbMATH Open document ID: 1341.68311
author: Ryoya Fukasaku
author: Shutaro Inoue
author: Yosuke Sato
published in: Mathematics in Computer Science
publication date: 2015-10-30T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 6502258
zbMATH Keywords: quantifier elimination
zbMATH Keywords: algebraically closed field
zbMATH Keywords: comprehensive Gröbner system
describes a project that uses: Maple
describes a project that uses: PGB
describes a project that uses: Mathematica
describes a project that uses: Risa/Asir
describes a project that uses: HOL Light
MaRDI profile type: Publication
full work available at URL: s11786-015-0237-x
OpenAlex ID: W2116273190
cites work: Q4234269
cites work: Algorithms in real algebraic geometry
cites work: Comprehensive Triangular Decomposition
cites work: Q3994509
cites work: Degree reduction under specialization
cites work: ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS
cites work: 55th International Mathematical Olympiad
cites work: On the stability of Gröbner bases under specializations
cites work: A new algorithm for computing comprehensive Gröbner systems
cites work: Q5301685
cites work: Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems
cites work: A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
cites work: Comprehensive Gröbner bases
DOI: 10.1007/S11786-015-0237-X
description: scientific article; zbMATH DE number 6502258