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

Initializing...

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