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

Initializing...

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