Untitled

First Page		Document Content
Date: 2013-09-27 04:38:37 Asymptotic giant branch Stellar classification Carbon star Star S-type star White dwarf Red giant Variable star Cosmic distance ladder Star types Astronomy Space		Untitled Add to Reading List Source URL: articles.adsabs.harvard.edu 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