3 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
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…