P
Initializing...
Smale's ninth problem, real-RAM form (open) · Prove2Me