P
Initializing...
A cubic lower bound with a mixed quadratic constraint · Prove2Me