Verified Integration of ODEs with Taylor Models Markus Neher Karlsruhe Institute of Technology Institute for Applied and Numerical Mathematics Kaiserstr

First Page		Document Content
Date: 2012-04-29 06:38:11 Mathematics Mathematical analysis Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Integral Interval Polynomial		Verified Integration of ODEs with Taylor Models Markus Neher Karlsruhe Institute of Technology Institute for Applied and Numerical Mathematics Kaiserstr Add to Reading List Source URL: conf.nsc.ru Download Document from Source Website File Size: 148,04 KB Share Document on Facebook

	FINITE DECOMPOSITION COMPLEXITY AND THE INTEGRAL NOVIKOV CONJECTURE FOR HIGHER ALGEBRAIC K–THEORY (DRAFT) DANIEL A. RAMRAS, ROMAIN TESSERA, AND GUOLIANG YU Abstract. Decomposition complexity for metric spaces was recen DocID: 1xVhW - View Document
	PDF Document DocID: 1xh0Y - View Document
	PDF Document DocID: 1wGTL - View Document
	Nonlinear Analysis: Modelling and Control, 2012, Vol. 17, No. 2, 169–Duality of the alternating integral for quasi-linear differential games DocID: 1vrfp - View Document
	13 T H E I N TERNET AND THE NETWO R K N E U T R A L I T Y D E BAT E in just a few decades, the Internet has grown to become an integral part of our society, economy, and daily lives. In addition to the amazing growth in DocID: 1vqxg - View Document