partial cylindrical algebraic decomposition
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_56 ◽

2012 ◽

pp. 560-570 ◽

Cited By ~ 1

Author(s):

Grant Olney Passmore ◽

Paul B. Jackson

Keyword(s):

Cylindrical Algebraic Decomposition ◽

Partial Cylindrical Algebraic Decomposition

Download Full-text

A generic projection operator for partial cylindrical algebraic decomposition

Proceedings of the 2003 international symposium on Symbolic and algebraic computation - ISSAC '03 ◽

10.1145/860854.860903 ◽

2003 ◽

Cited By ~ 12

Author(s):

Andreas Seidl ◽

Thomas Sturm

Keyword(s):

Projection Operator ◽

Generic Projection ◽

Cylindrical Algebraic Decomposition ◽

Partial Cylindrical Algebraic Decomposition

Download Full-text

Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition ◽

10.1007/978-3-7091-9459-1_9 ◽

1998 ◽

pp. 174-200 ◽

Cited By ~ 4

Author(s):

George E. Collins ◽

Hoon Hong

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Partial Cylindrical Algebraic Decomposition

Download Full-text

Partial Cylindrical Algebraic Decomposition for quantifier elimination

Journal of Symbolic Computation ◽

10.1016/s0747-7171(08)80152-6 ◽

1991 ◽

Vol 12 (3) ◽

pp. 299-328 ◽

Cited By ~ 296

Author(s):

George E. Collins ◽

Hoon Hong

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Partial Cylindrical Algebraic Decomposition

Download Full-text

partial cylindrical algebraic decompositionRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase

A generic projection operator for partial cylindrical algebraic decomposition

Partial Cylindrical Algebraic Decomposition for Quantifier Elimination

Partial Cylindrical Algebraic Decomposition for quantifier elimination

partial cylindrical algebraic decomposition
Recently Published Documents