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 ◽

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 ◽

Author(s):

George E. Collins ◽

Hoon Hong

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Partial Cylindrical Algebraic Decomposition

Download Full-text

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 ◽

Author(s):

Grant Olney Passmore ◽

Paul B. Jackson

Keyword(s):

Cylindrical Algebraic Decomposition ◽

Partial Cylindrical Algebraic Decomposition

Download Full-text

Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition

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

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

1998 ◽

pp. 85-121 ◽

Author(s):

George E. Collins

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Real Closed Fields ◽

Download Full-text

Quantifier elimination by cylindrical algebraic decomposition based on regular chains

Journal of Symbolic Computation ◽

10.1016/j.jsc.2015.11.008 ◽

2016 ◽

Vol 75 ◽

pp. 74-93 ◽

Author(s):

Changbo Chen ◽

Marc Moreno Maza

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Download Full-text

An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination

Theoretical Computer Science ◽

10.1016/j.tcs.2012.10.020 ◽

2013 ◽

Vol 479 ◽

pp. 43-69 ◽

Author(s):

Hidenao Iwane ◽

Hitoshi Yanami ◽

Hirokazu Anai ◽

Kazuhiro Yokoyama

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Effective Implementation

Download Full-text

Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination

Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92 ◽

10.1145/143242.143306 ◽

1992 ◽

Author(s):

Hoon Hong

Keyword(s):

Quantifier Elimination ◽

Simple Solution ◽

Cylindrical Algebraic Decomposition

Download Full-text

The complexity of quantifier elimination and cylindrical algebraic decomposition

Proceedings of the 2007 international symposium on Symbolic and algebraic computation - ISSAC '07 ◽

10.1145/1277548.1277557 ◽

2007 ◽

Author(s):

Christopher W. Brown ◽

James H. Davenport

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition

Download Full-text

Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress

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

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

1998 ◽

pp. 8-23 ◽

Author(s):

George E. Collins

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition

Download Full-text

Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition

ACM SIGSAM Bulletin ◽

10.1145/1093390.1093393 ◽

1976 ◽

Vol 10 (1) ◽

pp. 10-12 ◽

Author(s):

George E. Collins

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Real Closed Fields ◽

Download Full-text

Quantifier elimination by cylindrical algebraic decomposition based on regular chains

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 ◽

10.1145/2608628.2608666 ◽

2014 ◽

Author(s):

Changbo Chen ◽

Marc Moreno Maza

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Download Full-text