Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University

First Page		Document Content
Date: 2017-07-24 10:20:50 Numerical 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 University Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 3,42 MB Share Document on Facebook