Pages that link to "Item:Q1091088"

The following pages link to Propagation of round-off errors and the role of stability in numerical methods for linear and nonlinear PDEs (Q1091088):

Displaying 2 items.

• Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
• The time-line interpolation method for large-time-step Godunov-type schemes (Q1601515) (← links)