First Page | Document Content | |
---|---|---|
![]() Date: 2011-08-01 19:45:49National Science Foundation Astronomy Arizona National Optical Astronomy Observatory Association of Universities for Research in Astronomy Science and technology in Chile Telescopes Kitt Peak National Observatory Gemini Observatory Cerro Tololo Inter-American Observatory Large Synoptic Survey Telescope National Virtual Observatory | Add to Reading List |
![]() | 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 |