05391 Executive Summary – Numerical and Algebraic Algorithms and Computer-assisted Proofs

Authors Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump



PDF
Thumbnail PDF

File

DagSemProc.05391.2.pdf
  • Filesize: 100 kB
  • 5 pages

Document Identifiers

Author Details

Bruno Buchberger
Christian Jansson
Shin'ichi Oishi
Michael Plum
Siegfried M. Rump

Cite AsGet BibTex

Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, and Siegfried M. Rump. 05391 Executive Summary – Numerical and Algebraic Algorithms and Computer-assisted Proofs. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.05391.2

Abstract

The common goal of self-validating methods and computer algebra methods is to solve mathematical problems with complete rigor and with the aid of computers. The seminar focused on several aspects of such methods for computer-assisted proofs.
Keywords
  • Self-validating methods
  • computer algebra
  • computer-assisted proofs
  • real number algorithms

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