License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-4549
URL: http://drops.dagstuhl.de/opus/volltexte/2006/454/

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:
Dokument 1.pdf (100 KB)


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:DSP:2006:454,
  author =	{Bruno Buchberger and Christian Jansson and Shin'ichi Oishi and Michael Plum and Siegfried M. Rump},
  title =	{05391 Executive Summary -- Numerical and Algebraic Algorithms and Computer-assisted Proofs},
  booktitle =	{Algebraic and Numerical Algorithms and Computer-assisted Proofs},
  year =	{2006},
  editor =	{Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
  number =	{05391},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/454},
  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
Seminar: 05391 - Algebraic and Numerical Algorithms and Computer-assisted Proofs
Issue date: 2006
Date of publication: 31.01.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI