P
Initializing...
Smale's 9th problem: polynomial-time LP feasibility over $\mathbb{R}$ · Prove2Me