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 aims to enhance the reliability of computer algebra systems by developing a new programming language and architecture for interactive theorem provers. It focuses on creating efficient, verifiable mathematical software that supports advanced computational mathematics and formal proofs, ultimately benefiting…
The use of computers for formulating conjectures, but also for substantiating proof steps, pervades mathematics, even in its most abstract fields.
Most computer proofs are produced by symbolic computations, using computer algebra systems.
Sadly, these systems suffer from severe, intrinsic flaws, key to their amazing efficiency, but preventing any flavor of post-hoc verification.But can computer algebra become reliable while remaining fast?
Bringing a positive answer to this question represents a…
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
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.
