The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition

06/16/2021
by   R. Bradford, et al.
0

This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, through the integration of SAT/SMT technology, the extension of Lazard projection theory, and the development of new algorithms based on CAD technology but without producing CADs themselves. The project also seeks to develop applications of CAD and will focus on applications in the domains of economics and bio-network analysis.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/23/2018

Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition

Cylindrical Algebraic Decomposition (CAD) is an important tool within co...
research
05/24/2018

Towards Incremental Cylindrical Algebraic Decomposition in Maple

Cylindrical Algebraic Decomposition (CAD) is an important tool within co...
research
07/31/2023

Iterated Resultants in CAD

Cylindrical Algebraic Decomposition (CAD) by projection and lifting requ...
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
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/09/2016

The complexity of cylindrical algebraic decomposition with respect to polynomial degree

Cylindrical algebraic decomposition (CAD) is an important tool for worki...
research
11/02/2022

A Note on the Ramanujan Machine

The Ramanujan Machine project detects new expressions related to constan...

Please sign up or login with your details

Forgot password? Click here to reset