Pages that link to "Item:Q674759"
From MaRDI portal
The following pages link to Rigorous error analysis of numerical algorithms via symbolic computations (Q674759):
Displaying 5 items.
- Semantics of roundoff error propagation in finite precision calculations (Q853732) (← links)
- Runge-Kutta methods for quadratic ordinary differential equations (Q1267024) (← links)
- Rigorous error bounds for RK methods in the proof of chaotic behaviour (Q1964098) (← links)
- A Priori Error Analysis and Spring Arithmetic (Q3567025) (← links)
- Tight Error Analysis in Fixed-point Arithmetic (Q6177466) (← links)