Improvement of the projection operator in Cylindrical Algebraic Decomposition

ISSAC '90 Proceedings of International Symposium on Symbolic and Algebraic Computation

Volumn , Issue , 1990, Pages 261-264

  Hong, Hoon ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS; MATHEMATICAL TECHNIQUES - POLYNOMIALS;

CYLINDRICAL ALGEBRAIC DECOMPOSITION (CAD); EUCLIDEAN SPACE;

AUTOMATA THEORY;

EID: 0025530776     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/96877.96943     Document Type: Conference Paper

References (9)