Triangular x-basis decompositions and derandomization of linear algebra algorithms over K[x]. - Somit Gupta; Soumojit Sarkar; Arne Storjohann; Johnny Valeriote (J. Symb. Comput., 2012)