P
Initializing...
Quartic Convexity Defect Quadratic Core Strict Positive Definiteness · Prove2Me