Dagstuhl Seminar Proceedings 09471
Computer-assisted proofs - tools, methods and applications
B. M. Brown, E. Kaltofen, S. Oishi, S. M. Rump (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 09471, 15.11. - 20.11.2009
Additional Information
Seminar Homepage
License
Search Publication Server
Authors
Auer, Ekaterina
Brown, Malcolm B.
Cuypers, Roger
Dyllong, Eva
Kaltofen, Erich
Kiel, Stefan
Luther, Wolfram
Oishi, Shin'ichi
Rauh, Andreas
Rump, Siegfried M.
09471 Abstracts Collection -- Computer-assisted proofs - tools, methods and applications
Authors:
Brown, Malcolm B. ; Kaltofen, Erich ; Oishi, Shin'ichi ; Rump, Siegfried M.
Abstract
|
Document (249 KB)
|
BibTeX
09471 Executive Summary -- Computer-assisted proofs - tools, methods and applications
Authors:
Brown, Malcolm B. ; Kaltofen, Erich ; Oishi, Shin'ichi ; Rump, Siegfried M.
Abstract
|
Document (22 KB)
|
BibTeX
Interval Approaches to Reliable Control of Dynamical Systems
Authors:
Rauh, Andreas ; Auer, Ekaterina
Abstract
|
Document (1,712 KB)
|
BibTeX
Verification and Validation for Femur Prosthesis Surgery
Authors:
Auer, Ekaterina ; Cuypers, Roger ; Dyllong, Eva ; Kiel, Stefan ; Luther, Wolfram
Abstract
|
Document (950 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy
