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

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

doi:10.4230/DagSemProc.05391.2

Document

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

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

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 5391
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2006-01-31

PDF

File

PDF

DagSemProc.05391.2.pdf

Filesize: 100 kB
5 pages

Document Identifiers

DOI: 10.4230/DagSemProc.05391.2
URN: urn:nbn:de:0030-drops-4549

Subject Classification

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

0

Metadata Views

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.

Cite As Get 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

Author Details

Bruno Buchberger

Christian Jansson

Shin'ichi Oishi

Michael Plum

Siegfried M. Rump

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail