Tuesday 23 April 2024 |
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 ... |