P
Initializing...
Nonpositive signed row sums bound the solution by its initial norm · Prove2Me