https://www.dagstuhl.de/9232

03. – 07. August 1992, Dagstuhl-Seminar 9232

Symbolic, algebraic and validated numerical Computation

Organisator

J.H. Davenport, F. Krückeberg, R.E. Moore, S. Rump

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl-Seminar-Report 43

Summary

The first Dagstuhl Seminar on Symbolic, Algebraic and Validated Numerical Computation was organized by J. H. Davenport, Bath, F. Krückeberg, Bonn, R. E. Moore, Columbus, and S. M. Rump, Hamburg. It brought together 32 participants from 5 countries, 7 participants came from overseas.

The 26 talks covered a wide range of topics of the three areas Computer Algebra, Validated Computation, and Numerical Computation. The aim of the seminar was to bring together experts of those three areas to discuss common interests.

Both Computer Algebra and Validated Computation aim on computing correct results on the computer. Here correct is to be understand in a mathematical sense including all model, discretization and rounding errors. Both approaches can benefit from Numerical Computation by validating an error bound for an approximation.

In the talks we saw some algorithms with result verification for finite dimensional as well as infinite dimensional problems, a promising global optimization algorithm, an interesting approach to analyze the sensitivity of algebraic problems, and hybrid algorithms combining two or even three of the main areas of the conference. Moreover, we saw a number of practical applications.

Everybody enjoyed the very pleasant atmosphere, the excellent food and the surroundings inviting to intensive discussions and recreational hiking.

We would like to express our thanks to all who contributed to the conference and to the administration of the Dagstuhl center for their excellent job.

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.