Last update:
Sat Oct 14 16:19:30 MDT 2017
Ekaterina Auer and
Andreas Rauh and
Eberhard P. Hofer and
Wolfram Luther Validated Modeling of Mechanical Systems
with SmartMOBILE: Improvement of
Performance by ValEncIA-IVP . . . . . . 1--27
George F. Corliss and
R. Baker Kearfott and
Ned Nedialkov and
John D. Pryce and
Spencer Smith Interval Subroutine Library Mission . . 28--43
Eva Dyllong Convex Polyhedral Enclosures of
Interval-Based Hierarchical Object
Representations . . . . . . . . . . . . 44--56
Ioannis Z. Emiris and
Bernard Mourrain and
Elias P. Tsigaridas Real Algebraic Numbers: Complexity
Analysis and Experimentation . . . . . . 57--82
Sebastian Kempken and
Wolfram Luther Verified Methods in Stochastic Traffic
Modelling . . . . . . . . . . . . . . . 83--101
Branimir Lambov Interval Arithmetic Using SSE-2 . . . . 102--113
Vincent Lef\`evre and
Damien Stehlé and
Paul Zimmermann Worst Cases for the Exponential Function
in the IEEE 754r decimal64 Format . . . 114--126
Dominique Michelucci and
Jean Michel Moreau and
Sebti Foufou Robustness and Randomness . . . . . . . 127--148
Lance Edward Miller and
Edward L. F. Moore and
Thomas J. Peters and
Alexander Russell Topological Neighborhoods for Spline
Curves: Practice & Theory . . . . . . . . 149--161
Vadim Shapiro Homotopy Conditions for Tolerant
Geometric Queries . . . . . . . . . . . 162--180
Neil F. Stewart and
Malika Zidani Transfinite Interpolation for
Well-Definition in Error Analysis in
Solid Modelling . . . . . . . . . . . . 181--192
Chee Yap Theory of Real Computation According to
EGC . . . . . . . . . . . . . . . . . . 193--237