Improved algorithm for quantifier elimination over real closed fields

Annual Symposium on Foundations of Computer Science - Proceedings

Volumn , Issue , 1997, Pages 56-65

  Basu, Saugata ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMBINATORIAL MATHEMATICS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; OPTIMIZATION; PROBLEM SOLVING; QUERY LANGUAGES;

QUANTIFIER ELIMINATION; REAL CLOSED FIELDS;

POLYNOMIALS;

EID: 0031334957     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)