Computing cylindrical algebraic decomposition via triangular decomposition

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09 ◽

10.1145/1576702.1576718 ◽

2009 ◽

Cited By ~ 39

Author(s):

Changbo Chen ◽

Marc Moreno Maza ◽

Bican Xia ◽

Lu Yang

Keyword(s):

Triangular Decomposition ◽

Cylindrical Algebraic Decomposition

Download Full-text

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-319-08434-3_5 ◽

2014 ◽

pp. 45-60 ◽

Cited By ~ 10

Author(s):

Matthew England ◽

Russell Bradford ◽

Changbo Chen ◽

James H. Davenport ◽

Marc Moreno Maza ◽

...

Keyword(s):

Problem Formulation ◽

Truth Table ◽

Triangular Decomposition ◽

Cylindrical Algebraic Decomposition

Download Full-text

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

Mathematical Software – ICMS 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-662-44199-2_68 ◽

2014 ◽

pp. 450-457 ◽

Cited By ~ 6

Author(s):

Matthew England ◽

Russell Bradford ◽

James H. Davenport ◽

David Wilson

Keyword(s):

Truth Table ◽

Triangular Decomposition ◽

Cylindrical Algebraic Decomposition ◽

Variable Ordering

Download Full-text

On the chordality of ordinary differential triangular decomposition in top-down style

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

10.1145/3373207.3403999 ◽

2020 ◽

Author(s):

Chenqi Mou

Keyword(s):

Triangular Decomposition ◽

Top Down

Download Full-text

Algorithms for computing triangular decomposition of polynomial systems

Journal of Symbolic Computation ◽

10.1016/j.jsc.2011.12.023 ◽

2012 ◽

Vol 47 (6) ◽

pp. 610-642 ◽

Cited By ~ 34

Author(s):

Changbo Chen ◽

Marc Moreno Maza

Keyword(s):

Polynomial Systems ◽

Triangular Decomposition

Download Full-text

On the convergence of projected triangular decomposition methods for pricing American options with stochastic volatility

Applied Mathematics and Computation ◽

10.1016/j.amc.2013.08.022 ◽

2013 ◽

Vol 223 ◽

pp. 411-422 ◽

Cited By ~ 2

Author(s):

Ning Zheng ◽

Jun-Feng Yin

Keyword(s):

Stochastic Volatility ◽

American Options ◽

Decomposition Methods ◽

Triangular Decomposition

Download Full-text

Triangular Decomposition of CP Factors of a Third-Order Tensor with Application to Solving Nonlinear Systems of Equations

Journal of Scientific Computing ◽

10.1007/s10915-021-01758-8 ◽

2022 ◽

Vol 90 (2) ◽

Author(s):

Hassan Bozorgmanesh ◽

Masoud Hajarian

Keyword(s):

Nonlinear Systems ◽

Triangular Decomposition ◽

Systems Of Equations ◽

Nonlinear Systems Of Equations ◽

Third Order ◽

Order Tensor

Download Full-text

Interval Arithmetic in Cylindrical Algebraic Decomposition

Journal of Symbolic Computation ◽

10.1006/jsco.2002.0547 ◽

2002 ◽

Vol 34 (2) ◽

pp. 145-157 ◽

Cited By ~ 29

Author(s):

George E. Collins ◽

Jeremy R. Johnson ◽

Werner Krandick

Keyword(s):

Interval Arithmetic ◽

Cylindrical Algebraic Decomposition

Download Full-text

Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition

Computer Algebra in Scientific Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-030-60026-6_8 ◽

2020 ◽

pp. 129-149 ◽

Cited By ~ 1

Author(s):

Christopher W. Brown ◽

Scott McCallum

Keyword(s):

Cylindrical Algebraic Decomposition

Download Full-text

Comprehensive Triangular Decomposition

Computer Algebra in Scientific Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75187-8_7 ◽

2007 ◽

pp. 73-101 ◽

Cited By ~ 32

Author(s):

Changbo Chen ◽

Oleg Golubitsky ◽

François Lemaire ◽

Marc Moreno Maza ◽

Wei Pan

Keyword(s):

Triangular 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 ◽

Cited By ~ 1

Author(s):

Grant Olney Passmore ◽

Paul B. Jackson

Keyword(s):

Cylindrical Algebraic Decomposition ◽

Partial Cylindrical Algebraic Decomposition

Download Full-text