First Page | Document Content | |
---|---|---|
Date: 2017-07-24 10:20:50Numerical methods for ordinary differential equations Domain decomposition methods Numerical analysis Numerical software Mathematical analysis PROPT | Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State UniversityAdd to Reading ListSource URL: www.cs.ox.ac.ukDownload Document from Source WebsiteFile Size: 3,42 MBShare Document on Facebook |