Разработка геометрических алгоритмов: различия между версиями

Сертифицированные геометрические вычисления с фиксированной точностью уступают традиционным точным вычислениям в отношении доступных отказоустойчивых  программных продуктов, и продвижение в этом направлении представляется серьезной проблемой. К примеру, создание сертифицированного аналога CGAL с плавающей запятой является крайне желанной (и при этом весьма сложной) целью.