Dagstuhl-Seminar 99471
Symbolic-algebraic Methods and Verification Methods – Theory and Applications
( 21. Nov – 26. Nov, 1999 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/99471
Organisatoren
- G. Alefeld (Karlsruhe)
- J. Rohn (Prague)
- S. Rump (Hamburg-Harburg)
- T. Yamamoto (Matsuyama)
Kontakt
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.
- G. Alefeld (Karlsruhe)
- J. Rohn (Prague)
- S. Rump (Hamburg-Harburg)
- T. Yamamoto (Matsuyama)
