Login / Signup

Problem-Oriented Verification System and its Application to Linear Algebra Programs.

Valery A. NepomniaschyA. A. Sulimov
Published in: Theor. Comput. Sci. (1993)
Keyphrases
  • linear algebra
  • singular value decomposition
  • image processing
  • computer architecture
  • sparse matrices
  • multiscale
  • preprocessing
  • fault tolerance
  • numerical methods