Short Proofs for the Determinant Identities

Pavel Hrubes, Iddo Tzameret. Short Proofs for the Determinant Identities. Electronic Colloquium on Computational Complexity (ECCC), 18:174, 2011. [doi]

Abstract

Abstract is missing.