Computation with Arbitrary Precision Curves

Responsible KEG Investigator:
Dr Michal Konečný
Type of Project: Standard Grant

Funder: EPSRC

Date Commissioned: 03/2006
Date Completed: 08/2009

Project Summary
This project contributes to the theory and practice of computation with smooth objects such as curves or geometric shapes. Such computation is important in many areas of science and engineering. We shall concentrate on an application in the area of classical mechanics: finding the distance travelled by an object on a flat surface before it crosses a given line. The path of an object subject to several varying forces will be treated as a differentiable curve which is our main datatype of interest. Our aim is to test the efficiency of a new method of reliable and modular computation with such geometric objects, based on arbitrary precision (exact) computation