P
Initializing...
A squared-distance lower bound under two quadratic constraints · Prove2Me