P
Initializing...
A sum-of-squares bound from a quadratic constraint · Prove2Me