2026-07-20T02:32:05Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:438 2024-03-06T11:06:07Z ddc:004 open_access

05021 Executive Summary – Mathematics, Algorithms, Proofs Coquand, Thierry Constructive mathematics computer algebra proof systems 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Thierry Coquand 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 5021, Mathematics, Algorithms, Proofs (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05021.2 urn:nbn:de:0030-drops-4385 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05021.2 eng https://creativecommons.org/licenses/by/4.0/legalcode