Responsible KEG Investigator:
Dr Michal Konečný
|
Type of Project: Standard Grant
Funder: EPSRC
Date Commissioned: 03/2006
Date Completed:
08/2009
|
Project SummaryThis 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
Main University navigation links
