Pages that link to "Item:Q382427"
From MaRDI portal
The following pages link to High performance verified computing using C-XSC (Q382427):
Displaying 5 items.
- High accuracy and interval arithmetic on multicore processors (Q382438) (← links)
- Solvers for the verified solution of parametric linear systems (Q411424) (← links)
- TASS: the toolkit for accurate scientific software (Q1949767) (← links)
- Solving interval systems of equations obtained during the numerical solution of boundary value problems (Q2013629) (← links)
- Numerical Software with Result Verification (Q5308343) (← links)