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):

Displaying 2 items.

• Propositional proof complexity (Q6064569) (← links)
• On vanishing sums of roots of unity in polynomial calculus and sum-of-squares (Q6184293) (← links)