This EPSRC funded project is jointly run by Coventry University and the University of Bath from 2021-2025.
The project is concerned with Cylindrical Algebraic Decomposition (CAD). This is a key tool for answering questions in non-linear real arithmetic and analysing systems of polynomial sign constraints. However, it has doubly exponential complexity meaning that as problem sizes increase you inevitably hit a wall. Our project is: Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
The project promises: new implementations that can interact efficiently with SAT-solvers to form SMT-solvers; new algorithm development for procedures that cn use CAD technology more efficiently for particular problems; new theory to ensure full optimisation of a complete CAD projection; and new application development particularly in bio-chemical reaction networks and economic reasoning.
Dr Matthew England: Associate Professor of Computer Science at Coventry University.
Prof James H. Davenport: Hebron & Medlock Professor of Information Technology at the University of Bath.
Dr Russell Bradford: Senior Lecturer in Computer Science at the University of Bath.
Dr Amirhossein Sadeghi Manesh: Postdoctoral Research Associate at Coventry University.
Dr Ali Uncu: Postdoctoral Research Associate at the University of Bath.
Mr Tereso Del Rio Almajano: PhD Student at Coventry University.
Mr Corin Lee: PhD Student at University of Bath.
Mr Rashid Barket: PhD Student at Coventry University.
October 2023: Prof. Scott McCallum (Macquarie University, Australia) visits the UK with stays at both Bath and Coventry to collaborate with the DEWCAD project.
Team Photo in Bath.
Team Photo in Coventry.
September 2023: Jasper Nalback (RWTH Aachen, Germany) and Lucas Michel (U. Liege, Belgium) visit the DEWCAD team in the UK, spending a week each at Bath and Coventry. Videos of some accompanying lectures are available here:
July 2023: DEWCAD members James Davenport, Ali Uncu, Matthew England, and Tereso del Rio were all in Tromso, Norway for the ISSAC 2023 conference and SC-Square 2023 workshop (which was sponsored by DEWCAD). SC-Square Workshop Photo.
July 2023: DEWCAD ran a special session at the Applications of Computer Algebra (ACA) conference in Warsaw Poland. The session was titled Computer Algebra Applications in the Life Sciences and was organised by DEWCAD members AmirHosein Sadeghimanesh and Ali Kemal Uncu along with Andrzej Mizera (U. Warsaw). The session had 11 speakers from 8 different countries. Session Photo.
June 2023: Matthew England, Amirhosein Sadeghi Manesh and Tereso del Rio visited Bath from Coventry. They worked and talked with James Davenport, Ali Uncu, Corin Lee and Hollie Baker. Group Photo.
April 2023: Nicola Vassena visited Coventry to work with Amirhosein Sadeghi Manesh on the use of DEWCAD technology in classifying bifurcations in mathematical biology.
October 2022: James Davenport and Ali Uncu visited Coventry from Bath. James gave a talk in the Research Centre seminar titled, Can Satisfiability Modulo Theories increase confidence in Neural Networks? (Slides). We were also joined by a Murad Banaji (Middlesex U.) to give a talk on Chemical Reaction Networks. Group Photo.
August 2022: Many DEWCAD Project members took part in the SCALE series of events in Istanbul, Turkey.
Ali Uncu was the overall Treasurer, James Davenport the invited speaker of the ACA 2022 conference, and Matthew England the PC Chair of the CASC 2022 conference.
Amir Hossein Sadeghi Manesh and Ali Uncu organised a special session of ACA on Computer Algebra Applications in the Life Sciences. The session had 11 speakers from Austria, Denmark, Germany, Slovenia, the UK and the US. Click here for group picture.
August 2022: The DEWCAD Project sponsored the 2022 SC-Square Workshop which took place in Haifa, Israel as part of FLoC 2022.
The invited speakers were Robert Lewis and Stefan Ratschan. DEWCAD project authors contributed a talk entitled SMT-Solving Combinatorial Inequalities.
Click here for group picture.
June 2022: The DEWCAD team contributed to two new datasets in the 2022 release of the SMT-LIB, as part of ongoing work to diversify the QFNRA category for better benchmarking.
The first were problems from the automated proof of combinatorial inequalities and the second problems from the automated proof of geometric theorems in GeoGebra.
March 2022: Ali Uncu visited Coventry from Bath; AmirHosein Sadeghimanesh visited project partner the SYMBIONT Project in Bonn, Germany; and Matthew England presented the DEWCAD project at the Abram Gannibal Project Workshop.
February 2022: DEWCAD Project member AmirHosein Sadeghimanesh was selected for the finals of the STEM for Britain poster competition. He presented his work at the Houses of Parliament in Westminster, London.
February 2022: The DEWCAD Project helped to organiser Dagstuhl Seminar 22072: New Perspectives in Symbolic Computation and Satisfiability Checking.
November 2021: The DEWCAD Project team had their first in person meeting at the University of Bath.
November 2021: There were three DEWCAD talks (and a piece of art!) at the Maple 2021 conference!
Summer 2021: DEWCAD project members gave talks this summer at ACA, ARCADE, CASC, ICAAMM, ISSAC, and SIAM-AG (in particular the SC-Square Workshop).
April 2021: Postdoctoral Researcher Ali Uncu starts work in Bath.
Jan 2021: Postdoctoral Researcher Amirhossein Sadeghi Manesh starts work in Coventry.
Jan 2021: DEWCAD project officially starts.
July 2020: Planned start date in July delayed due to COVID19 pandemic.
Feb 2020: EPSRC confirms the DEWCAD project will be funded.
CRNpy: Python package by Amirhossein Sadeghi Manesh with implementations of several algorithms to study Chemical Reaction Networks (CRNs) mathematically.
ResChain: Maple package with implementation of a new method using iterated univariate resultants to eliminate a set of variables from a system of polynomial equations.
SCPPack: Maple package to exactly solve the Set Covering Problem (SCP) and Set Covering Problems with Reasons (SCPR).