05021 Executive Summary – Mathematics, Algorithms, Proofs
This workshop was the third MAP meeting,
a continuation of the seminar "Verification and constructive algebra" held in Dagstuhl from 6 to 10 January 2003.
The goal of these meetings is to bring together people from the communities of formal proofs, constructive
mathematics and computer algebra (in a wide meaning).
The special
emphasis of the present meeting was on the constructive mathematics and efficient proofs in computer algebra.
Constructive mathematics
computer algebra
proof systems
1-3
Regular Paper
Thierry
Coquand
Thierry Coquand
10.4230/DagSemProc.05021.2
Creative Commons Attribution 4.0 International license
https://creativecommons.org/licenses/by/4.0/legalcode