The following pages link to Werner Hofschuster (Q1371158):
Displaying 5 items.
- A computer oriented approach to get sharp reliable error bounds (Q1371159) (← links)
- Mathematical function software on the web -- are such codes useful for verification algorithms? (Q1577441) (← links)
- Zur Nullstellenverifikation bei Besselfunktionen erster Gattung (Q3177086) (← links)
- FILIB++, a fast interval library supporting containment computations (Q3549175) (← links)
- Numerical Software with Result Verification (Q5308342) (← links)
