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
Host

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 | Fulltext Search | Imprint
    Published by LZI