Pages that link to "Item:Q892235"

The following pages link to Computer-aided proof of Erdős discrepancy properties (Q892235):

Displaying 3 items.

• Optimal-depth sorting networks (Q340576) (← links)
• A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361) (← links)
• Strong extension-free proof systems (Q2303251) (← links)