Formalization and implementation of floating-point matrix operations
From MaRDI portal
Publication:1223127
DOI10.1007/BF02280883zbMath0321.65027MaRDI QIDQ1223127
Publication date: 1976
Published in: Computing (Search for Journal in Brave)
Cites Work
This page was built for publication: Formalization and implementation of floating-point matrix operations