Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs



Dorian Florescu , Matthew England

* Accepted into Proc ICMS 2020 

   Access Paper or Ask Questions

Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness



Dorian Florescu , Matthew England

* 16 pages. Accepted into the Proceedings of MACIS 2019. arXiv admin note: text overlap with arXiv:1906.01455 

   Access Paper or Ask Questions

Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition



Matthew England , Dorian Florescu

* Accepted into CICM 2019 

   Access Paper or Ask Questions

A Combined CNN and LSTM Model for Arabic Sentiment Analysis



Abdulaziz M. Alayba , Vasile Palade , Matthew England , Rahat Iqbal

* Proc. International Cross-Domain Conference for Machine Learning and Knowledge Extraction. CD-MAKE 2018. Lecture Notes in Computer Science, vol 11015, pp. 179-191. Springer, Cham 
* Authors accepted version of submission for CD-MAKE 2018 

   Access Paper or Ask Questions

Using Machine Learning to Improve Cylindrical Algebraic Decomposition



Zongyan Huang , Matthew England , David Wilson , James H. Davenport , Lawrence C. Paulson

* arXiv admin note: text overlap with arXiv:1608.04219, arXiv:1404.6369 

   Access Paper or Ask Questions

Improving Sentiment Analysis in Arabic Using Word Representation



Abdulaziz M. Alayba , Vasile Palade , Matthew England , Rahat Iqbal

* Proc. 2nd International Workshop on Arabic and Derived Script Analysis and Recognition (ASAR '18), pp. 13-18. IEEE, 2018 
* Authors accepted version of submission for ASAR 2018 

   Access Paper or Ask Questions

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



Zongyan Huang , Matthew England , James H. Davenport , Lawrence C. Paulson

* Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '16), pp. 45--52. IEEE, 2016 

   Access Paper or Ask Questions

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition



Zongyan Huang , Matthew England , David Wilson , James H. Davenport , Lawrence C. Paulson , James Bridge

* Intelligent Computer Mathematics, pp. 92-107. (Lecture Notes in Artificial Intelligence, 8543). Springer Berlin Heidelberg, 2014 
* 16 pages 

   Access Paper or Ask Questions