research
∙
07/31/2023
SMT-Solving Induction Proofs of Inequalities
This paper accompanies a new dataset of non-linear real arithmetic probl...
share
research
∙
07/31/2023
Iterated Resultants in CAD
Cylindrical Algebraic Decomposition (CAD) by projection and lifting requ...
research
∙
07/13/2023
Data Augmentation for Mathematical Objects
This paper discusses and evaluates ideas of data balancing and data augm...
research
∙
06/27/2023
Generating Elementary Integrable Expressions
There has been an increasing number of applications of machine learning ...
research
∙
04/24/2023
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
In recent years there has been increased use of machine learning (ML) te...
research
∙
12/19/2022
Levelwise construction of a single cylindrical algebraic cell
Satisfiability Modulo Theories (SMT) solvers check the satisfiability of...
research
∙
09/09/2022
SC-Square: Future Progress with Machine Learning?
The algorithms employed by our communities are often underspecified, and...
research
∙
09/09/2022
SC-Square: Overview to 2021
This extended abstract was written to accompany an invited talk at the 2...
research
∙
06/27/2022
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
It is well known that the variable ordering can be critical to the effic...
research
∙
01/31/2022
Resultant Tools for Parametric Polynomial Systems with Application to Population Models
We are concerned with the problem of decomposing the parameter space of ...
research
∙
01/04/2022
Feedback and Engagement on an Introductory Programming Module
We ran a study on engagement and achievement for a first year undergradu...
research
∙
08/11/2021
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
We discuss the topic of unsatisfiability proofs in SMT, particularly wit...
research
∙
05/22/2020
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...
research
∙
04/08/2020
New Opportunities for the Formal Proof of Computational Real Geometry?
The purpose of this paper is to explore the question "to what extent cou...
research
∙
03/12/2020
Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings
We present a new algorithm for determining the satisfiability of conjunc...
research
∙
11/28/2019
Improved cross-validation 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...
research
∙
11/25/2019
First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment
We describe the group projects undertaken by first year undergraduate Co...
research
∙
11/25/2019
Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code
CodeRunner is a free open-source Moodle plugin for automatically marking...
research
∙
06/03/2019
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...
research
∙
04/24/2019
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...
research
∙
03/20/2019
Cylindrical Algebraic Decomposition with Equational Constraints
Cylindrical Algebraic Decomposition (CAD) has long been one of the most ...
research
∙
12/10/2018
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...
research
∙
07/09/2018
A Combined CNN and LSTM Model for Arabic Sentiment Analysis
Deep neural networks have shown good data modelling capabilities when de...
research
∙
05/24/2018
Towards Incremental Cylindrical Algebraic Decomposition in Maple
Cylindrical Algebraic Decomposition (CAD) is an important tool within co...
research
∙
04/26/2018
Quantifier Elimination for Reasoning in Economics
We consider the use of Quantifier Elimination (QE) technology for automa...
research
∙
04/26/2018
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Cylindrical Algebraic Decomposition (CAD) is a key tool in computational...
research
∙
04/23/2018
Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition
Cylindrical Algebraic Decomposition (CAD) is an important tool within co...
research
∙
03/05/2018
OpenMath and SMT-LIB
OpenMath and SMT-LIB are languages with very different origins, but both...
research
∙
02/28/2018
Improving Sentiment Analysis in Arabic Using Word Representation
The complexities of Arabic language in morphology, orthography and diale...
research
∙
11/01/2017
The Potential and Challenges of CAD with Equational Constraints for SC-Square
Cylindrical algebraic decomposition (CAD) is a core algorithm within Sym...
research
∙
06/27/2017
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
We investigate models of the mitogenactivated protein kinases (MAPK) net...
research
∙
04/28/2017
A Case Study on the Parametric Occurrence of Multiple Steady States
We consider the problem of determining multiple steady states for positi...
research
∙
02/10/2017
Arabic Language Sentiment Analysis on Health Services
The social media network phenomenon leads to a massive amount of valuabl...
research
∙
09/29/2016
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition
In the paper which inspired the SC-Square project, [E. Abraham, Building...
research
∙
08/15/2016
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases
Cylindrical Algebraic Decomposition (CAD) is a key tool in computational...
research
∙
05/10/2016
Need Polynomial Systems be Doubly-exponential?
Polynomial Systems, or at least their algorithms, have the reputation of...
research
∙
05/09/2016
