Invertibility of Matrices of Field Elements. - Yatsuka Nakamura; Kunio Oniumi; Wenpai Chang (Formaliz. Math., 2008)