000			03001nam a22004095i 4500
001			299072
003			MX-SnUAN
005			20160429155532.0
007			cr nn 008mamaa
008			150903s2008 gw | o |||| 0|eng d
020			_a9783540855217 _99783540855217
024	7		_a10.1007/9783540855217 _2doi
035			_avtls000352064
039		9	_a201509030933 _bVLOAD _c201405060300 _dVLOAD _y201402171151 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA76.9.C62
100	1		_aHertling, Peter. _eeditor. _9335820
245	1	0	_aReliable Implementation of Real Number Algorithms: Theory and Practice : _bInternational Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / _cedited by Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2008.
300			_brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v5045
500			_aSpringer eBooks
505	0		_aValidated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP -- Interval Subroutine Library Mission -- Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations -- Real Algebraic Numbers: Complexity Analysis and Experimentation -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format -- Robustness and Randomness -- Topological Neighborhoods for Spline Curves: Practice & Theory -- Homotopy Conditions for Tolerant Geometric Queries -- Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling -- Theory of Real Computation According to EGC.
520			_aThis book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006. The Seminar was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aHoffmann, Christoph M. _eeditor. _9335821
700	1		_aLuther, Wolfram. _eeditor. _9335822
700	1		_aRevol, Nathalie. _eeditor. _9305677
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783540855200
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-540-85521-7 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c299072 _d299072