Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

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

2014 ◽

pp. 92-107 ◽

Author(s):

Zongyan Huang ◽

Matthew England ◽

David Wilson ◽

James H. Davenport ◽

Lawrence C. Paulson ◽

...

Keyword(s):

Machine Learning ◽

Cylindrical Algebraic Decomposition ◽

Variable Ordering

Download Full-text

Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

Lecture Notes in Computer Science - Intelligent Computer Mathematics ◽

10.1007/978-3-030-23250-4_7 ◽

2019 ◽

pp. 93-108 ◽

Author(s):

Matthew England ◽

Dorian Florescu

Keyword(s):

Machine Learning ◽

Learning Models ◽

Cylindrical Algebraic Decomposition ◽

Variable Ordering ◽

Machine Learning Models

Download Full-text

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Mathematics in Computer Science ◽

10.1007/s11786-019-00394-8 ◽

2019 ◽

Vol 13 (4) ◽

pp. 461-488 ◽

Author(s):

Zongyan Huang ◽

Matthew England ◽

David J. Wilson ◽

James Bridge ◽

James H. Davenport ◽

...

Keyword(s):

Machine Learning ◽

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

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 ◽

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

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

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 ◽

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

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases

2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2016.020 ◽

2016 ◽

Author(s):

Zongyan Huang ◽

Matthew England ◽

James H. Davenport ◽

Lawrence C. Paulson

Keyword(s):

Machine Learning ◽

Groebner Bases ◽

Cylindrical Algebraic Decomposition

Download Full-text

A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs

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

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

2020 ◽

pp. 302-311

Author(s):

Dorian Florescu ◽

Matthew England

Keyword(s):

Machine Learning ◽

Software Pipeline ◽

Variable Ordering

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

A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

ACM Communications in Computer Algebra ◽

10.1145/2733693.2733706 ◽

2015 ◽

Vol 48 (3/4) ◽

pp. 121-123

Author(s):

Zongyan Huang ◽

Matthew England ◽

David Wilson ◽

James H. Davenport ◽

Lawrence C. Paulson

Keyword(s):

Cylindrical Algebraic Decomposition ◽

Variable Ordering

Download Full-text