P

Initializing...

Coordinate-free slack-descent to an exposed face of a polytope, with finite termination · Prove2Me