P
Initializing...
A two-variable sixth-degree polynomial is nonnegative · Prove2Me