P
Initializing...
The linesearch (2.1) of Algorithm 2.1 terminates · Prove2Me