
A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs
We are interested in the application of Machine Learning (ML) technology...
read it

New Opportunities for the Formal Proof of Computational Real Geometry?
The purpose of this paper is to explore the question "to what extent cou...
read it

Deciding the Consistency of NonLinear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings
We present a new algorithm for determining the satisfiability of conjunc...
read it

Improved crossvalidation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness
Our topic is the use of machine learning to improve software by making c...
read it

First Year Computer Science Projects at Coventry University: Activityled integrative team projects with continuous assessment
We describe the group projects undertaken by first year undergraduate Co...
read it

Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code
CodeRunner is a free opensource Moodle plugin for automatically marking...
read it

Algorithmically generating new algebraic features of polynomial systems for machine learning
There are a variety of choices to be made in both computer algebra syste...
read it

Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
There has been recent interest in the use of machine learning (ML) appro...
read it

Cylindrical Algebraic Decomposition with Equational Constraints
Cylindrical Algebraic Decomposition (CAD) has long been one of the most ...
read it

Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback
We describe our experience using Codio at Coventry University in our und...
read it

A Combined CNN and LSTM Model for Arabic Sentiment Analysis
Deep neural networks have shown good data modelling capabilities when de...
read it

Towards Incremental Cylindrical Algebraic Decomposition in Maple
Cylindrical Algebraic Decomposition (CAD) is an important tool within co...
read it

Quantifier Elimination for Reasoning in Economics
We consider the use of Quantifier Elimination (QE) technology for automa...
read it

Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Cylindrical Algebraic Decomposition (CAD) is a key tool in computational...
read it

Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition
Cylindrical Algebraic Decomposition (CAD) is an important tool within co...
read it

OpenMath and SMTLIB
OpenMath and SMTLIB are languages with very different origins, but both...
read it

Improving Sentiment Analysis in Arabic Using Word Representation
The complexities of Arabic language in morphology, orthography and diale...
read it

The Potential and Challenges of CAD with Equational Constraints for SCSquare
Cylindrical algebraic decomposition (CAD) is a core algorithm within Sym...
read it

Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
We investigate models of the mitogenactivated protein kinases (MAPK) net...
read it

A Case Study on the Parametric Occurrence of Multiple Steady States
We consider the problem of determining multiple steady states for positi...
read it

Arabic Language Sentiment Analysis on Health Services
The social media network phenomenon leads to a massive amount of valuabl...
read it

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition
In the paper which inspired the SCSquare project, [E. Abraham, Building...
read it

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases
Cylindrical Algebraic Decomposition (CAD) is a key tool in computational...
read it

Need Polynomial Systems be Doublyexponential?
Polynomial Systems, or at least their algorithms, have the reputation of...
read it

The complexity of cylindrical algebraic decomposition with respect to polynomial degree
Cylindrical algebraic decomposition (CAD) is an important tool for worki...
read it
Matthew England
is this you? claim profile