Research Projects

23 items found

Use the filters below to refine your search...

Reset filters

Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition (DEWCAD)

The DEWCAD project aims to produce a state of the art tool for solving problems of Quantifier Elimination or Satfiability over Non-Linear Real Arithmetic.

CoPED: Catalogue of Projects on Energy Data

CoPED: Catalogue of Projects on Energy Data

Energy Revolution Research Consortium: EnergyREV

EnergyREV is focused on delivering (by 2022) investable and scalable local business models which use integrated approaches to deliver cleaner, cheaper, energy services for more prosperous and resilient communities.