"Verification of the Redecoration Algorithm for Triangular Matrices."

Ralph Matthes, Martin Strecker (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics