Pages that link to "Item:Q5307366"
From MaRDI portal
The following pages link to Parallel Processing and Applied Mathematics (Q5307366):
Displaying 5 items.
- High performance verified computing using C-XSC (Q382427) (← links)
- Solvers for the verified solution of parametric linear systems (Q411424) (← links)
- Dense linear system: A parallel self-verified solver (Q941827) (← links)
- Embedding C-XSC nonlinear solvers in Mathematica (Q2844621) (← links)
- A new PCP outer verifier with applications to homogeneous linear equations and max-bisection (Q3580955) (← links)