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 explores the application of computability theory to solve mathematical theorems and implement algorithms for continuous data types. It aims to develop tools for computing complex mathematical constants and verifying hybrid systems.
Recent advances in computability theory have uncovered new pathways to apply computability to prove theorems in other areas of mathematics.
Examples include a long-open question in topological dimension theory answered by Kihara and Pauly using computability-theoretic methods and a new proof of the 2-dimensional Kakeya conjecture by Lutz and Lutz.
By bringing together the right experts, we will deepen those pathways and find more such applications.In a parallel development, we will focus on impl…
SWANSEA UNIVERSITY
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Spain, Zaragoza
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
United Kingdom, Leeds
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Italy, Udine
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Germany, Neubiberg
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.
