FLAME: Formal linear algebra methods environmentJohn A. GunnelsFred G. Gustavsonet al.2001ACM TOMSPaper