1 problem

Degree-cutter equations conjecture. These equations may decrease the minimal degree of the Nullstellensatz certificate, if one exists. The conjecture proposes that adding equations…