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
ALEXANDRIA aims to create an interactive environment for formalizing mathematics, making proofs more accessible and verifiable. It focuses on managing large mathematical knowledge bases and enhancing the usability of theorem proving tools for mathematicians.
Mathematical proofs have always been prone to error.
Today, proofs can be hundreds of pages long and combine results from many specialisms, making them almost impossible to check.
One solution is to deploy modern verification technology.
Interactive theorem provers have demonstrated their potential as vehicles for formalising mathematics through achievements such as the verification of the Kepler Conjecture.
Proofs done using such tools reach a high standard of correctness.However, existing theo…
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
