Pages that link to "Item:Q1276164"

The following pages link to Good degree bounds on Nullstellensatz refutations of the induction principle (Q1276164):

Displaying 2 items.

• Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz (Q650840) (← links)
• Linear gaps between degrees for the polynomial calculus modulo distinct primes (Q5943090) (← links)