Axioms and hulls (Q1202183)

This is a comprehensive study of primitive operations (e.g. incircle predicate) used in different algorithms. The author introduces an axiomatic predicate system and establishes many interesting connection to other disciplines of computer science (or mathematics?): vortex-free tournaments, uniform oriented matroids. Attention is also paid to so-called parsimonious algorithms and degeneracy removal techniques. The practical use of the developed theory is demonstrated on the computation of Delaunay triangulations (Voronoi regions). The monograph should be of interest to researchers who wish to get a glimpse of the mathematical background of a computer science discipline.