DagSemProc.09471.2.pdf
- Filesize: 22 kB
- 3 pages
Document
09471 Executive Summary – Computer-assisted proofs - tools, methods and applications
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9471
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2010-04-28
Cite AsGet BibTex
Malcolm B. Brown, Erich Kaltofen, Shin'ichi Oishi, and Siegfried M. Rump. 09471 Executive Summary – Computer-assisted proofs - tools, methods and applications. In Computer-assisted proofs - tools, methods and applications. Dagstuhl Seminar Proceedings, Volume 9471, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
https://doi.org/10.4230/DagSemProc.09471.2
https://doi.org/10.4230/DagSemProc.09471.2
Abstract
From November 15-20, 2009, the Dagstuhl seminar on "Computer-assisted proofs - tools, methods and applications" continued a series of previous successful seminars. Participants from 10 different countries presented recent results in verification methods, computer algebra, and other computer-assisted-proof related areas.
We had lively talks and discussions, during the regular times for talks, during meals and afterwards. In the following links to abstracts and/or the presentation are given were applicable.
Keywords
- Verification methods
- computer algebra
- computer-assisted proofs
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads