Pages that link to "Item:Q5144897"

The following pages link to Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: can a natural number be negative? (Q5144897):

Displayed 3 items.

• The power of the binary value principle (Q6057309) ‎ (← links)
• Propositional proof complexity (Q6064569) ‎ (← links)
• On vanishing sums of roots of unity in polynomial calculus and sum-of-squares (Q6184293) ‎ (← links)