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

	Probabilistic Inference and Accuracy Guarantees Stefano Ermon CS Department, Stanford DocID: 1qwvY - View Document
	Generic Code Optimization Jack Dongarra, Shirley Moore, Keith Seymour, and Haihang You LACSI Symposium Automatic Tuning of Whole Applications Workshop October 11, 2005 DocID: 1q5ct - View Document
	c 2014 Society for Industrial and Applied Mathematics SIAM J. COMPUT. Vol. 43, No. 1, pp. 144–149 DocID: 1pxhd - View Document
	578 CHAPTER 10 NUMERICAL METHODS DocID: 1pmki - View Document
	PI..ANNING. PHAS~ R.~P9RT AND M~~TIP(...E PROPt;RTY OOCUMENTAT10N FORM FOR TH~ SURVE.Y OF AFltlCAN AMERICAN RESOURCES IN GASTON COUNTY Emily Ramsey & Lara Ramsey, Consultants November 9, 2000 DocID: 1p8Nw - View Document