First Page | Document Content | |
---|---|---|
![]() Date: 2009-09-14 11:42:37Radio telescopes Radio astronomy Russian Academy of Sciences RT-70 Astro Space Center Special Astrophysical Observatory of the Russian Academy of Science Very Long Baseline Interferometry Telescope Lebedev Physical Institute Astronomy Science and technology in Russia Science and technology in the Soviet Union | 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 |