Matthew England

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 111

Top Venues

CoRR

ICMS

CASC

ACM Commun. Comput. Algebra

Publications

Dorian Florescu, Matthew England
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. CoRR (2024)
Dorian Florescu, Matthew England
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. ICMS (2024)
Rashid Barket, Matthew England, Jürgen Gerhard
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs. ICMS (2024)
Tereso del Río, Matthew England
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. CoRR (2024)
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
Levelwise construction of a single cylindrical algebraic cell. J. Symb. Comput. 123 (2024)
Rashid Barket, Matthew England, Jürgen Gerhard
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs. CoRR (2024)
Rashid Barket, Matthew England, Jürgen Gerhard
The Liouville Generator for Producing Integrable Expressions. CASC (2024)
Matthew England
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk). CASC (2024)
Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. J. Symb. Comput. 123 (2024)
Matthew England
Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition. CoRR (2024)
Rashid Barket, Matthew England, Jürgen Gerhard
The Liouville Generator for Producing Integrable Expressions. CoRR (2024)
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
Foreword. Math. Comput. Sci. 17 (3) (2023)
Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. CoRR (2023)
Tereso Del Rio Almajano, Matthew England
Data Augmentation for Mathematical Objects. CoRR (2023)
James H. Davenport, Matthew England
Iterated Resultants in CAD. CoRR (2023)
Rashid Barket, Matthew England, Jürgen Gerhard
Generating Elementary Integrable Expressions. CoRR (2023)
Tereso del Río, AmirHosein Sadeghimanesh, Matthew England
Clustering in the Lazard method for Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 57 (3) (2023)
Tereso del Río, Matthew England
Data Augmentation for Mathematical Objects. SC-Square@ISSAC (2023)
Rashid Barket, Matthew England, Jürgen Gerhard
Generating Elementary Integrable Expressions. CASC (2023)
Ali Kemal Uncu, James H. Davenport, Matthew England
SMT-Solving Induction Proofs of Inequalities. CoRR (2023)
James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu
Iterated Resultants and Rational Functions in Real Quantifier Elimination. CoRR (2023)
AmirHosein Sadeghimanesh, Matthew England
Resultant Tools for Parametric Polynomial Systems with Application to Population Models. CoRR (2022)
Matthew England
SC-Square: Future Progress with Machine Learning? CoRR (2022)
AmirHosein Sadeghimanesh, Matthew England
An SMT solver for non-linear real arithmetic inside maple. ACM Commun. Comput. Algebra 56 (2) (2022)
Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England
Levelwise construction of a single cylindrical algebraic cell. CoRR (2022)
Beate Grawemeyer, John Halloran, Matthew England, David Croft
Feedback and Engagement on an Introductory Programming Module. CoRR (2022)
Beate Grawemeyer, John Halloran, Matthew England, David Croft
Feedback and Engagement on an Introductory Programming Module. CEP (2022)
Tereso del Río, Matthew England
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. CASC (2022)
Tereso del Río, Matthew England
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis. CoRR (2022)
Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). Dagstuhl Reports 12 (2) (2022)
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
Foreword. Math. Comput. Sci. 16 (2) (2022)
AmirHosein Sadeghimanesh, Matthew England
Polynomial superlevel set representation of the multistationarity region of chemical reaction networks. BMC Bioinform. 23 (1) (2022)
Matthew England
SC-Square: Overview to 2021. CoRR (2022)
Ali Kemal Uncu, James H. Davenport, Matthew England
SMT-Solving Induction Proofs of Inequalities. SC-Square@FLoC (2022)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. CoRR (2021)
Matthew England
SC-Square: Overview to 2021 (invited paper). SC-Square@SIAM AG (2021)
Matthew England
SC-Square: Future Progress with Machine Learning? (invited paper). SC-Square@SIAM AG (2021)
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
Foreword, with a Dedication to Vladimir Gerdt. Math. Comput. Sci. 15 (3) (2021)
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. ACM Commun. Comput. Algebra 55 (3) (2021)
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. SYNASC (2021)
Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England
LIFT: lncRNA identification and function-prediction tool. Int. J. Bioinform. Res. Appl. 17 (6) (2021)
Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Thomas Sturm
Foreword, with a Dedication to Andreas Weber. Math. Comput. Sci. 15 (2) (2021)
Russell J. Bradford, James H. Davenport, Matthew England, AmirHosein Sadeghimanesh, Ali Kemal Uncu
The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition. CoRR (2021)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. J. Log. Algebraic Methods Program. 119 (2021)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. ARCADE@CADE (2021)
Dorian Florescu, Matthew England
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs. ICMS (2020)
James H. Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli
Symbolic computation and satisfiability checking. J. Symb. Comput. 100 (2020)
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. 98 (2020)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). PAAR+SC²@IJCAR (2020)
Matthew England, Russell J. Bradford, James H. Davenport
Cylindrical algebraic decomposition with equational constraints. J. Symb. Comput. 100 (2020)
Matthew England
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. ISSAC (2020)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. CoRR (2020)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
New Opportunities for the Formal Proof of Computational Real Geometry? CoRR (2020)
David Croft, Matthew England
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code. CEP (2020)
Dorian Florescu, Matthew England
A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs. CoRR (2020)
Simon Billings, Matthew England
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment. CEP (2020)
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. CoRR (2019)
David Croft, Matthew England
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback. CEP (2019)
Matthew England, Dorian Florescu
Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple. MC (2019)
Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets. CoRR (2019)
Dorian Florescu, Matthew England
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness. MACIS (2019)
David Croft, Matthew England
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code. CoRR (2019)
Dorian Florescu, Matthew England
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning. SC-square@SIAM AG (2019)
Matthew England, Russell J. Bradford, James H. Davenport
Cylindrical Algebraic Decomposition with Equational Constraints. CoRR (2019)
Sumukh Deshpande, James Shuttleworth, Jianhua Yang, Sandy Taramonli, Matthew England
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets. Comput. Biol. Medicine 105 (2019)
Matthew England, Dorian Florescu
Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. CICM (2019)
Dorian Florescu, Matthew England
Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness. CoRR (2019)
Dorian Florescu, Matthew England
Algorithmically generating new algebraic features of polynomial systems for machine learning. CoRR (2019)
Matthew England, Dorian Florescu
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition. CoRR (2019)
Simon Billings, Matthew England
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment. CoRR (2019)
Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. Math. Comput. Sci. 13 (4) (2019)
Casey B. Mulligan, James H. Davenport, Matthew England
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. ICMS (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. CoRR (2018)
Matthew England
Machine Learning for Mathematical Software. CoRR (2018)
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
A Combined CNN and LSTM Model for Arabic Sentiment Analysis. CoRR (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Quantifier Elimination for Reasoning in Economics. CoRR (2018)
David Croft, Matthew England
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback. CoRR (2018)
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
A Combined CNN and LSTM Model for Arabic Sentiment Analysis. CD-MAKE (2018)
Alexander I. Cowen-Rivers, Matthew England
Towards Incremental Cylindrical Algebraic Decomposition in Maple. SC-Square@FLOC (2018)
Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson
Using Machine Learning to Improve Cylindrical Algebraic Decomposition. CoRR (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. SC-Square@FLOC (2018)
Casey B. Mulligan, James Harold Davenport, Matthew England
TheoryGuru: A Mathematica Package to apply Quantifier Elimination. CoRR (2018)
Alexander Imani Cowen-Rivers, Matthew England
Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition. CoRR (2018)
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
Improving Sentiment Analysis in Arabic Using Word Representation. CoRR (2018)
Matthew England
Machine Learning for Mathematical Software. ICMS (2018)
James H. Davenport, Matthew England, Roberto Sebastiani, Patrick Trentin
OpenMath and SMT-LIB. CoRR (2018)
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
Improving Sentiment Analysis in Arabic Using Word Representation. ASAR (2018)
Alexander Imani Cowen-Rivers, Matthew England
Towards Incremental Cylindrical Algebraic Decomposition in Maple. CoRR (2018)
Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. CASC (2017)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE (2017)
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
Arabic Language Sentiment Analysis on Health Services. CoRR (2017)
Abdulaziz M. Alayba, Vasile Palade, Matthew England, Rahat Iqbal
Arabic language sentiment analysis on health services. ASAR (2017)
James H. Davenport, Matthew England
The Potential and Challenges of CAD with Equational Constraints for SC-Square. MACIS (2017)
Matthew England, Vijay Ganesh
Preface. SC²@ISSAC (2017)
James H. Davenport, Matthew England
The Potential and Challenges of CAD with Equational Constraints for SC-Square. CoRR (2017)
Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. CoRR (2017)
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
A Case Study on the Parametric Occurrence of Multiple Steady States. ISSAC (2017)
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber
A Case Study on the Parametric Occurrence of Multiple Steady States. CoRR (2017)
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76 (2016)
Matthew England, James H. Davenport
The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. CASC (2016)

Matthew England.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthew England