Pages that link to "Item:Q5302761"
From MaRDI portal
The following pages link to Reliable Implementation of Real Number Algorithms: Theory and Practice (Q5302761):
Displaying 12 items.
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (Q5302762) (← links)
- Interval Subroutine Library Mission (Q5302763) (← links)
- Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations (Q5302764) (← links)
- Real Algebraic Numbers: Complexity Analysis and Experimentation (Q5302765) (← links)
- Verified Methods in Stochastic Traffic Modelling (Q5302767) (← links)
- Interval Arithmetic Using SSE-2 (Q5302768) (← links)
- Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format (Q5302769) (← links)
- Robustness and Randomness (Q5302770) (← links)
- Topological Neighborhoods for Spline Curves: Practice & Theory (Q5302771) (← links)
- Homotopy Conditions for Tolerant Geometric Queries (Q5302772) (← links)
- Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling (Q5302773) (← links)
- Theory of Real Computation According to EGC (Q5302774) (← links)
