IPM Calendar 
Wednesday 16 October 2019   Today  
Events for day: Thursday 11 July 2019    
           14:00 - 16:00     Mathtematical Logic Weekly Seminar
The Convex Hull of Finitely Generable Subsets and its Predicate Transformer


Non robustness and imprecise inputs leads to unstable and inconsistent results in computations. We studied a theoretical model which uses domains as representation structure and ensures robustness and computability in geometric objects and algorithms. I will talk about our recent results on this model and particularly about convex hull problem.
We consider the domain of non-empty convex and compact subsets of a finite dimensional Euclidean space to represent partial or imprecise points in computational geometry. The convex hull map on such imprecise points is given domain-theoretically by an inner and an outer convex hull. We show tha ...