Formal Methods for High-Performance Linear Algebra Libraries

  • Authors:
  • John A. Gunnels;Robert A. van de Geijn

  • Affiliations:
  • -;-

  • Venue:
  • Proceedings of the IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract