License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05391.2
URN: urn:nbn:de:0030-drops-4549
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/454/
Go to the corresponding Portal

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

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

pdf-format:
05391.summary.454.pdf (0.10 MB)

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.

BibTeX - Entry

@InProceedings{buchberger_et_al:DagSemProc.05391.2,
  author =	{Buchberger, Bruno and Jansson, Christian and Oishi, Shin'ichi and Plum, Michael and Rump, Siegfried M.},
  title =	{{05391 Executive Summary – Numerical and Algebraic Algorithms and Computer-assisted Proofs}},
  booktitle =	{Algebraic and Numerical Algorithms and Computer-assisted Proofs},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5391},
  editor =	{Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/454},
  URN =		{urn:nbn:de:0030-drops-4549},
  doi =		{10.4230/DagSemProc.05391.2},
  annote =	{Keywords: Self-validating methods, computer algebra, computer-assisted proofs, real number algorithms}
}

Keywords: Self-validating methods, computer algebra, computer-assisted proofs, real number algorithms
Collection: 05391 - Algebraic and Numerical Algorithms and Computer-assisted Proofs
Issue Date: 2006
Date of publication: 31.01.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI