DagSemProc.05021.2.pdf
- Filesize: 255 kB
- 3 pages
Document
05021 Executive Summary – Mathematics, Algorithms, Proofs
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 5021
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-01-17
Cite AsGet BibTex
Thierry Coquand. 05021 Executive Summary – Mathematics, Algorithms, Proofs. In Mathematics, Algorithms, Proofs. Dagstuhl Seminar Proceedings, Volume 5021, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.05021.2
https://doi.org/10.4230/DagSemProc.05021.2
Abstract
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.
Keywords
- Constructive mathematics
- computer algebra
- proof systems
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads