|Wednesday 16 October 2019|
|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 ...