cylindrical algebraic decomposition Recently Published Documents

Variable Ordering

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 ◽

Flexibility Index

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 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):

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

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

10.1145/3373207.3403981 ◽

2020 ◽

Author(s):

Matthew England

Keyword(s):

Machine Learning ◽

Quantifier Elimination ◽

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 ◽

Flexibility Analysis

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):

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 ◽

Variable Ordering ◽

Selection For ◽

Artificial Neural

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

Flexibility Analysis of High-dimensional Systems via Cylindrical Algebraic Decomposition

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 ◽

Flexibility Analysis

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

Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple

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

2020 ◽

pp. 330-333

Author(s):

Matthew England ◽

Dorian Florescu

Keyword(s):

Machine Learning ◽