Certifying linear equation solvers

Publisher Website

1 October 1969

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGNUM Newsletter

Vol. 4 (3) , 21-29
https://doi.org/10.1145/1198442.1198447

Abstract

No abstract available

Keywords

Cited by 1 article