Matthew England
Orcid: 0000-0001-5729-3420Affiliations:
- Coventry University, School of Computing, Electronics and Maths, UK
- University of Bath, Department of Computer Science, UK
- Heriot-Watt University, Edinburgh, UK (PhD)
According to our database1,
Matthew England
authored at least 92 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition.
J. Symb. Comput., July, 2024
J. Symb. Comput., July, 2024
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD.
CoRR, 2024
2023
ACM Commun. Comput. Algebra, September, 2023
CoRR, 2023
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023
Proceedings of the Computer Algebra in Scientific Computing - 25th International Workshop, 2023
2022
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072).
Dagstuhl Reports, 2022
Resultant Tools for Parametric Polynomial Systems with Application to Population Models.
CoRR, 2022
ACM Commun. Comput. Algebra, 2022
Polynomial superlevel set representation of the multistationarity region of chemical reaction networks.
BMC Bioinform., 2022
Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022
Proceedings of the CEP 2022: Computing Education Practice 2022, 2022
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.
Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022
2021
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings.
J. Log. Algebraic Methods Program., 2021
Int. J. Bioinform. Res. Appl., 2021
The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition.
ACM Commun. Comput. Algebra, 2021
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving.
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021
Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2021
Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2021
Proceedings of the Third International Workshop on Automated Reasoning: Challenges, 2021
2020
J. Symb. Comput., 2020
Identifying the parametric occurrence of multiple steady states for some biological networks.
J. Symb. Comput., 2020
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning.
Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs.
Proceedings of the Mathematical Software - ICMS 2020, 2020
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment.
Proceedings of the CEP 2020: Computing Education Practice 2020, 2020
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code.
Proceedings of the CEP 2020: Computing Education Practice 2020, 2020
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).
Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020
2019
Math. Comput. Sci., 2019
PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets.
Comput. Biol. Medicine, 2019
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning.
Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019
Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition.
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2019
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback.
Proceedings of the 3rd Conference on Computing Education Practice, 2019
2018
Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition.
CoRR, 2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics.
Proceedings of the Mathematical Software - ICMS 2018, 2018
Proceedings of the Mathematical Software - ICMS 2018, 2018
Proceedings of the Machine Learning and Knowledge Extraction, 2018
Proceedings of the IEEE 2nd International Workshop on Arabic and Derived Script Analysis and Recognition, 2018
2017
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017
Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks.
Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017
Proceedings of the ARCADE 2017, 2017
Proceedings of the 1st International Workshop on Arabic Script Analysis and Recognition, 2017
2016
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition.
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016
SC<sup>2</sup>: Satisfiability Checking Meets Symbolic Computation - (Project Paper).
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016
Proceedings of the Mathematical Software - ICMS 2016, 2016
The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree.
Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016
2015
ACM Commun. Comput. Algebra, 2015
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015
2014
A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition.
ACM Commun. Comput. Algebra, 2014
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting.
Proceedings of the Mathematical Software - ICMS 2014, 2014
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.
Proceedings of the Mathematical Software - ICMS 2014, 2014
Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014
Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014
2013
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance.
CoRR, 2013
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013
2012
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
2011
LMS J. Comput. Math., 2011