Publications

4 results for Robert A. Van De Geijn

The BLIS framework: Experiments in portability
- - Field G. Van Zee
  - Tyler M. Smith
  - et al.
- 2016
- ACM TOMS
Deriving dense linear algebra libraries
- - Paolo Bientinesi
  - John A. Gunnels
  - et al.
- 2013
- Formal Aspects of Computing
The science of deriving dense linear algebra algorithms
- - Paolo Bientinesi
  - John A. Gunnels
  - et al.
- 2005
- ACM TOMS
FLAME: Formal linear algebra methods environment
- - John A. Gunnels
  - Fred G. Gustavson
  - et al.
- 2001
- ACM TOMS