<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-03-02 11:58:40Arizona International Year of Astronomy National Optical Astronomy Observatory European Southern Observatory National Virtual Observatory Astronomical Society of the Pacific Kitt Peak National Observatory Light pollution Observatory Astronomy National Science Foundation Science |
Add to Reading List |
EPO >>> Education & Public Outreach | Verified Computations Using Taylor Models and Their Applications Kyoko Makino and Martin Berz Department of Physics and Astronomy Michigan State UniversityDocID: 1xUgc - View Document |
| Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State UniversityDocID: 1xTVE - View Document |
| PDF DocumentDocID: 1xT06 - View Document |
| PDF DocumentDocID: 1xSVy - View Document |
| DOC DocumentDocID: 1xPer - View Document |