Matthew England

Available identifiers

zbMath Open england.matthewWikidataQ57515685 ScholiaQ57515685MaRDI QIDQ247221

List of research outcomes

Publication	Date of Publication	Type
Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition	2024-02-05	Paper
Levelwise construction of a single cylindrical algebraic cell	2024-02-05	Paper
An SMT solver for non-linear real arithmetic inside maple	2023-08-02	Paper
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis	2022-12-21	Paper
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs	2022-10-13	Paper
The DEWCAD project	2022-09-06	Paper
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness	2021-12-08	Paper
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings	2021-02-26	Paper
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning	2021-01-22	Paper
A Case Study on the Parametric Occurrence of Multiple Steady States	2020-09-09	Paper
Cylindrical algebraic decomposition with equational constraints	2020-03-24	Paper
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks	2020-03-17	Paper
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition	2020-01-22	Paper
Identifying the parametric occurrence of multiple steady states for some biological networks	2020-01-15	Paper
Using machine learning to improve cylindrical algebraic decomposition	2019-11-27	Paper
The Potential and Challenges of CAD with Equational Constraints for SC-Square	2019-03-14	Paper
Machine learning for mathematical software	2018-08-17	Paper
TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics	2018-08-17	Paper
Towards Incremental Cylindrical Algebraic Decomposition in Maple	2018-05-24	Paper
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks	2018-02-23	Paper
Some new addition formulae for Weierstrass elliptic functions	2017-09-29	Paper
Branch cuts in maple 17	2017-06-26	Paper
Satisfiability checking and symbolic computation	2017-06-21	Paper
Cylindrical algebraic decompositions for boolean combinations	2017-02-10	Paper
The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree	2016-11-09	Paper
Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition	2016-09-29	Paper
Need Polynomial Systems Be Doubly-Exponential?	2016-09-28	Paper
$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation	2016-08-30	Paper
Truth table invariant cylindrical algebraic decomposition	2016-02-19	Paper
Recent Advances in Real Geometric Reasoning	2015-11-11	Paper
Cylindrical algebraic sub-decompositions	2014-11-27	Paper
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition	2014-09-08	Paper
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting	2014-09-08	Paper
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains	2014-09-08	Paper
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition	2014-08-07	Paper
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition	2014-08-07	Paper
Abelian functions associated with genus three algebraic curves	2014-07-11	Paper
Optimising Problem Formulation for Cylindrical Algebraic Decomposition	2013-08-09	Paper
Understanding Branch Cuts of Expressions	2013-08-09	Paper
Generalised elliptic functions	2013-02-18	Paper
Building abelian functions with generalised Baker-Hirota operators	2012-06-26	Paper
Deriving bases for abelian functions	2012-03-22	Paper
Higher genus abelian functions associated with cyclic trigonal curves	2010-05-17	Paper
A genus six cyclic tetragonal reduction of the Benney equations	2009-11-24	Paper
Abelian functions associated with a cyclic tetragonal curve of genus six	2009-03-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthew England