In[3]:= Out[3]=

First Page		Document Content
Date: 2012-11-23 02:21:05 Paradzhanov Main Belt asteroids Astronomy 32938 Ivanopaci		In[3]:= Out[3]= Add to Reading List Source URL: 4unitmaths.com Download Document from Source Website Share Document on Facebook

	Verified Computations Using Taylor Models and Their Applications Kyoko Makino and Martin Berz Department of Physics and Astronomy Michigan State University DocID: 1xUgc - View Document
	Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University DocID: 1xTVE - View Document
	PDF Document DocID: 1xT06 - View Document
	PDF Document DocID: 1xSVy - View Document
	DOC Document DocID: 1xPer - View Document