next up previous
Next: Introduction

FLAME: Formal Linear Algebra Methods Environment1

John A. Gunnels2 - Robert A. van de Geijn3

November 3, 2000





Robert van de Geijn 2000-11-03