cylindrical algebraic decomposition Latest Research Papers

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure

Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3452143.3465520 ◽

2021 ◽

Author(s):

Haokun Li ◽

Bican Xia ◽

Huiying Zhang ◽

Tao Zheng

Keyword(s):

Cylindrical Algebraic Decomposition ◽

Variable Ordering

Download Full-text

Flexibility index and design of chemical systems by cylindrical algebraic decomposition

Computers & Chemical Engineering ◽

10.1016/j.compchemeng.2020.107142 ◽

2021 ◽

Vol 144 ◽

pp. 107142

Author(s):

Chenglin Zheng ◽

Fei Zhao ◽

Lingyu Zhu ◽

Xi Chen

Keyword(s):

Chemical Systems ◽

Cylindrical Algebraic Decomposition ◽

Flexibility Index

Download Full-text

Fully incremental cylindrical algebraic decomposition

Journal of Symbolic Computation ◽

10.1016/j.jsc.2019.07.018 ◽

2020 ◽

Vol 100 ◽

pp. 11-37 ◽

Cited By ~ 2

Author(s):

Gereon Kremer ◽

Erika Ábrahám

Keyword(s):

Cylindrical Algebraic Decomposition

Download Full-text

Cylindrical algebraic decomposition with equational constraints

Journal of Symbolic Computation ◽

10.1016/j.jsc.2019.07.019 ◽

2020 ◽

Vol 100 ◽

pp. 38-71 ◽

Cited By ~ 3

Author(s):

Matthew England ◽

Russell Bradford ◽

James H. Davenport

Keyword(s):

Cylindrical Algebraic Decomposition

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

Operational Flexibility Analysis of High-Dimensional Systems via Cylindrical Algebraic Decomposition

Industrial & Engineering Chemistry Research ◽

10.1021/acs.iecr.9b06061 ◽

2020 ◽

Vol 59 (10) ◽

pp. 4670-4687 ◽

Cited By ~ 2

Author(s):

Chenglin Zheng ◽

Fei Zhao ◽

Lingyu Zhu ◽

Xi Chen

Keyword(s):

High Dimensional ◽

Operational Flexibility ◽

Cylindrical Algebraic Decomposition ◽

Flexibility Analysis

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

Flexibility Analysis of High-dimensional Systems via Cylindrical Algebraic Decomposition

Computer Aided Chemical Engineering - 30th European Symposium on Computer Aided Process Engineering ◽

10.1016/b978-0-12-823377-1.50200-7 ◽

2020 ◽

pp. 1195-1200

Author(s):

Chenglin Zheng ◽

Fei Zhao ◽

Lingyu Zhu ◽

Xi Chen

Keyword(s):

High Dimensional ◽

Cylindrical Algebraic Decomposition ◽

Flexibility Analysis

Download Full-text

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks

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

10.1007/978-3-030-52200-1_28 ◽

2020 ◽

pp. 281-291 ◽

Cited By ~ 1

Author(s):

Changbo Chen ◽

Zhangpeng Zhu ◽

Haoyu Chi

Keyword(s):

Neural Networks ◽

Artificial Neural Networks ◽

Cylindrical Algebraic Decomposition ◽

Variable Ordering ◽

Selection For ◽

Artificial Neural

Download Full-text

Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple

Communications in Computer and Information Science - Maple in Mathematics Education and Research ◽

10.1007/978-3-030-41258-6_25 ◽

2020 ◽

pp. 330-333

Author(s):

Matthew England ◽

Dorian Florescu

Keyword(s):

Machine Learning ◽

Cylindrical Algebraic Decomposition

Download Full-text

cylindrical algebraic decomposition
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure

Flexibility index and design of chemical systems by cylindrical algebraic decomposition

Fully incremental cylindrical algebraic decomposition

Cylindrical algebraic decomposition with equational constraints

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

Operational Flexibility Analysis of High-Dimensional Systems via Cylindrical Algebraic Decomposition

Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition

Flexibility Analysis of High-dimensional Systems via Cylindrical Algebraic Decomposition

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks

Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple

Export Citation Format

cylindrical algebraic decompositionRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure

Flexibility index and design of chemical systems by cylindrical algebraic decomposition

Fully incremental cylindrical algebraic decomposition

Cylindrical algebraic decomposition with equational constraints

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

Operational Flexibility Analysis of High-Dimensional Systems via Cylindrical Algebraic Decomposition

Enhancements to Lazard’s Method for Cylindrical Algebraic Decomposition

Flexibility Analysis of High-dimensional Systems via Cylindrical Algebraic Decomposition

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks

Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple

cylindrical algebraic decomposition
Recently Published Documents