Certified sparse linear system solving

From MaRDI portal
Publication:2643567