First Page | Document Content | |
---|---|---|
![]() Date: 2012-07-18 15:09:20Herget Science Minor Planet Center Armin Otto Leuschner Donald Edward Osterbrock Cincinnati Observatory United States Naval Observatory Wallace John Eckert Observatory Astronomy Paul Herget Science and technology in the United States | 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 |