IPM Calendar 
Tuesday 16 July 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

School
MATHEMATICS

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 ...