P

Initializing...

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