Algebraic Proof Systems - Nullstellensatz and IPS

As part of the 9th Workshop on Algebraic Complexity Theory (WACT) I wrote a short survey detailing the basics- and progress of algebraic proof systems. Specifically, I focus on Nullstellensatz-based proof systems and Ideal Proof Systems (IPS).

The main source of inspiration for this survey was the talk by Susanna de Rezende and Kilian Risse

The survey was officially made as part of the exam for the PhD course, “Advanced Themes in Algebraic Complexity”, taken at the University of Copenhagen.

The survey can be found here!