School of Computing Research Colloquia
- Date: Thursday 15 November 2012, 13:00 – 14:00
- Location: Baines Wing
- Cost: £0
Certified Geometric Computing
Certified geometric computation (CGC), a newly emerging branch of computing science, is a computation paradigm where the main goal is not only numerical accuracy, but above all the geometric and topological correctness of the output. More precisely, in certified geometric computation, the challenge is to develop algorithms for computing topologically correct and geometrically close approximations of geometric shapes.
This talk will introduce two problems from computational geometry: (1) computing implicit surfaces and (2) computing Morse-Smale complexes. It will be shown how CGC algorithms give topologically correct results, where ordinary algorithms fail.