Algebraic C'-actions and homotopy continuation

Abstract: Let X be a smooth projective variety over C equipped with a C'-action whose fixed points are isolated. Let Y and Z be subvarieties of complementary dimentions in X which intersect properly. In this thesis we present an algorithm for computing the points of intersection between Y and Z based on homotopy continuation and the Bialynicki-Birula decompositions of X into locally closed invariant subsets. As an application we present a new solution to the inverse kinematic problem of a general six-revolute serial-link manipulator.