TY - RPRT TI - Short Proofs for the Determinant Identities AU - Pavel Hrubes AU - Iddo Tzameret PY - 2013 UR - https://arxiv.org/abs/1112.6265 ID - 1112.6265 ER -