TY - RPRT TI - Uniform, Integral and Feasible Proofs for the Determinant Identities AU - Iddo Tzameret AU - Stephen A. Cook PY - 2018 UR - https://arxiv.org/abs/1811.04313 ID - 1811.04313 ER -