16 citations · 44 across the 9 of their papers we have counts for
1 paper · 1 filter
Henrik Barthels
The FLAME methodology makes it possible to derive provably correct algorithms from a formal description of a linear algebra problem. So far, the methodology has been successfully u…