09471 Executive Summary – Computer-assisted proofs - tools, methods and applications

Authors Malcolm B. Brown, Erich Kaltofen, Shin'ichi Oishi, Siegfried M. Rump



PDF
Thumbnail PDF

File

DagSemProc.09471.2.pdf
  • Filesize: 22 kB
  • 3 pages

Document Identifiers

Author Details

Malcolm B. Brown
Erich Kaltofen
Shin'ichi Oishi
Siegfried M. Rump

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

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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail