P
Initializing...
An eighth-degree three-variable polynomial is nonnegative · Prove2Me