Using Computer Algebra Tools to Classify Serial Manipulators. - Solen Corvez; Fabrice Rouillier (Automated Deduction in Geometry, 2002)