On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (Q748755): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4234269 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithms in real algebraic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comprehensive Triangular Decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994509 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Degree reduction under specialization / rank
 
Normal rank
Property / cites work
 
Property / cites work: ZERO DECOMPOSITION THEOREMS FOR COUNTING THE NUMBER OF SOLUTIONS FOR PARAMETRIC EQUATION SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: 55th International Mathematical Olympiad / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the stability of Gröbner bases under specializations / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new algorithm for computing comprehensive Gröbner systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5301685 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comprehensive Gröbner bases / rank
 
Normal rank

Revision as of 23:22, 10 July 2024

scientific article
Language Label Description Also known as
English
On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems
scientific article

    Statements

    On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (English)
    0 references
    0 references
    0 references
    0 references
    30 October 2015
    0 references
    quantifier elimination
    0 references
    algebraically closed field
    0 references
    comprehensive Gröbner system
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers