Publications
Filter by
Open menu
1 result for
Greg M. Henry
FLAME: Formal linear algebra methods environment
John A. Gunnels
Fred G. Gustavson
et al.
2001
ACM TOMS