isabelle - 如何在Isabelle / HOL中定义凹壳？ - Thinbug

如何在Isabelle / HOL中定义凹壳？

时间：2018-09-13 05:02:24

标签： isabelle concave-hull

我在Isabelle / HOL工作。凹面是否等于

convex hull S

在图书馆吗？

如果没有，怎么定义它？

0 个答案:

没有答案