1 paper
Prerona Chatterjee, Utsab Ghosal, Partha Mukhopadhyay +1
We give new lower bounds for the fragments of the Ideal Proof System (IPS) introduced by Grochow and Pitassi (JACM 2018). The Ideal Proof System is a central topic in algebraic pro…