The science of deriving dense linear algebra algorithms | Publicación