CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project focuses on enhancing decision procedures for expressive arithmetic theories, which are crucial for reasoning about number systems in computer science applications. By developing novel quantifier-elimination techniques and improving complexity bounds, the project aims to enable more effective problem-solvin…
Arithmetic theories are logical theories for reasoning about number systems, such as the integers and reals.
Such theories find a plethora of applications across computer science, including in algorithmic verification, artificial intelligence, and compiler optimisation.
The appeal of arithmetic theories is their generality: once a problem has been formalised in a decidable such theory, a dedicated solver can in principle be used in a push-button fashion to obtain a solution.
Arithmetic t…
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
United Kingdom, London
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 topics.
Guests see up to 5 keywords.
