P
Initializing...
A sum-of-squares upper bound from a reciprocal difference constraint · Prove2Me