TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 99471

Symbolic-algebraic Methods and Verification Methods – Theory and Applications

( Nov 21 – Nov 26, 1999 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/99471

Organizers
  • G. Alefeld (Karlsruhe)
  • J. Rohn (Prague)
  • S. Rump (Hamburg-Harburg)
  • T. Yamamoto (Matsuyama)




Motivation

The seminar intends to bring together scientists from the fields of Computer Algebra, Numerical Analysis, Matrix- and NP-theory, Control Theory and other fields in order to discuss the state of the art and future developments. Major and common goal is the derivation of true, verified results on the computer. In the different disciplines this goal is achieved using different methods.

The focus of the seminar will be especially on the comparison and mutual benefit of the above-mentioned different approaches.


Participants
  • G. Alefeld (Karlsruhe)
  • J. Rohn (Prague)
  • S. Rump (Hamburg-Harburg)
  • T. Yamamoto (Matsuyama)