Publications (40)
Generalised Elliptic Functions
Matthew England, Chris Athorne
Optimising Problem Formulation for Cylindrical Algebraic Decomposition
Russell Bradford, James H. Davenport, Matthew England +1
A comparison of three heuristics to choose the variable ordering for CAD
Zongyan Huang, Matthew England, David Wilson +2
Arabic Language Sentiment Analysis on Health Services
Abdulaziz M. Alayba, Vasile Palade, Matthew England +1
Higher Genus Abelian Functions Associated with Cyclic Trigonal Curves
Matthew England
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition
Matthew England, James H. Davenport
Recent Advances in Real Geometric Reasoning
James H. Davenport, Matthew England
Understanding Branch Cuts of Expressions
Matthew England, Russell Bradford, James H. Davenport +1
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance
Matthew England
Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition
Alexander I. Cowen-Rivers, Matthew England
Truth Table Invariant Cylindrical Algebraic Decomposition
Russell Bradford, James H. Davenport, Matthew England +2
Cylindrical Algebraic Decompositions for Boolean Combinations
Russell Bradford, James H. Davenport, Matthew England +2
Building Abelian Functions with Generalised Baker-Hirota Operators
Matthew England, Chris Athorne
Some New Addition Formulae for Weierstrass Elliptic Functions
J. Chris Eilbeck, Matthew England, Yoshihiro Ãnishi
Improving the use of equational constraints in cylindrical algebraic decomposition
Matthew England, Russell Bradford, James H. Davenport
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Matthew England, Russell Bradford, James H. Davenport +1
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
Matthew England, Hassan Errami, Dima Grigoriev +3
Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback
David Croft, Matthew England
A Case Study on the Parametric Occurrence of Multiple Steady States
Russell Bradford, James H. Davenport, Matthew England +8
The complexity of cylindrical algebraic decomposition with respect to polynomial degree
Matthew England, James H. Davenport
Quantifier Elimination for Reasoning in Economics
Casey B. Mulligan, Russell Bradford, James H. Davenport +2
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
Matthew England, Dorian Florescu
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases
Zongyan Huang, Matthew England, James H. Davenport +1
An implementation of CAD in Maple utilising McCallum projection
Matthew England
A "Piano Movers" Problem Reformulated
David Wilson, James H. Davenport, Matthew England +1
A Combined CNN and LSTM Model for Arabic Sentiment Analysis
Abdulaziz M. Alayba, Vasile Palade, Matthew England +1
Improving Sentiment Analysis in Arabic Using Word Representation
Abdulaziz M. Alayba, Vasile Palade, Matthew England +1
Need Polynomial Systems be Doubly-exponential?
James H. Davenport, Matthew England
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Matthew England, Russell Bradford, Changbo Chen +3
Formulating problems for real algebraic geometry
Matthew England
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 +3
An implementation of Sub-CAD in Maple
Matthew England, David Wilson
Deriving bases for Abelian functions
Matthew England
The Potential and Challenges of CAD with Equational Constraints for SC-Square
James H. Davenport, Matthew England
OpenMath and SMT-LIB
James H. Davenport, Matthew England, Roberto Sebastiani +1
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting
Matthew England, David Wilson, Russell Bradford +1
Towards Incremental Cylindrical Algebraic Decomposition in Maple
Alexander Imani Cowen-Rivers, Matthew England
Program Verification in the presence of complex numbers, functions with branch cuts etc
James H. Davenport, Russell Bradford, Matthew England +1
A genus six cyclic tetragonal reduction of the Benney equations
Matthew England, John Gibbons
Using the distribution of cells by dimension in a cylindrical algebraic decomposition
David Wilson, Matthew England, Russell Bradford +1