First Page | Document Content | |
---|---|---|
![]() Date: 2003-06-02 16:47:17European Space Agency Hubble Space Telescope WIYN Consortium James Webb Space Telescope Space Telescope Science Institute Astronomy European Southern Observatory Telescopes Kitt Peak National Observatory National Science Foundation National Optical Astronomy Observatory Arizona | Source URL: www.noao.eduDownload Document from Source WebsiteFile Size: 323,57 KBShare Document on Facebook |
![]() | 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 |