2006/01/01 by Thierry Coquand, Coquand, Thierry
Computer Science · Mathematics · #Constructive mathematics #History and Theory of Mathematics #Mathematics and Applications #Polynomial and algebraic computation #computer algebra #proof systems
paper · doi:10.4230/dagsemproc.05021.2
openalex publication_date 2006/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.