Short Proofs for the Determinant Identities

Pavel Hrubes, Iddo Tzameret

We study arithmetic proof systems P_c(F) and P_f(F) operating with arithmetic circuits and arithmetic formulas, respectively, that prove polynomial identities over a field F. We es…