Describir: Certified Solving and Synthesis on Modeling of the Kinematics. Problems of Gough-Type Parallel Manipulators with an Exact Algebraic Method