P
Initializing...
Bounded interior approximation of boundary-compatible half-space tests · Prove2Me