Я работаю в Изабель / HOL. Есть ли вогнутый эквивалент
convex hull S
в библиотеке?
Если нет, то как бы это определить?