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

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

Proceedings of the 2009 conference on Symbolic numeric computation - SNC '09 ◽

10.1145/1577190.1577203 ◽

2009 ◽

Author(s):

Hidenao Iwane ◽

Hitoshi Yanami ◽

Hirokazu Anai ◽

Kazuhiro Yokoyama

Keyword(s):

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition ◽

Effective Implementation

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

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

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation - SNC '11 ◽

10.1145/2331684.2331712 ◽

2011 ◽

Author(s):

Hidenao Iwane ◽

Hitoshi Yanami ◽

Hirokazu Anai

Keyword(s):

Optimization Problems ◽

Cylindrical Algebraic Decomposition ◽

Effective Implementation

Download Full-text

Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3403981 ◽

2020 ◽

Author(s):

Matthew England

Keyword(s):

Machine Learning ◽

Quantifier Elimination ◽

Cylindrical Algebraic Decomposition

Download Full-text