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 develops formalized mathematics libraries focusing on linear algebra, real number computation, and algebraic topology. It aims to enhance the reliability of computer-based proofs and algorithms, impacting various fields, including software development and mathematical research.
We propose to developed libraries of formalized mathematics concerning linear algebra, real number computation, and algebraic topology.
The main originality of this work will be to structure these libraries as a software development, relying on a basis that has already shown its power in the formal proof of the four color theorem, and to address topics that were mostly left untouched by previous research in formal proof or formal methods.
The main milestones of this work will concern formally pr…
UGOT - GOETEBORGS UNIVERSITET/UNIVERSITY OF GOTHENBURG
GOETEBORGS UNIVERSITET
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Spain, La Rioja
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
STICHTING RADBOUD UNIVERSITEIT
Netherlands, Nijmegen
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 EuroSciVoc fields.
Guests see up to 5 topics.
