When dealing with complex mobile robots, we often have to solve a huge set of nonlinear equations. They may be related to some measurements collected by sensors, to some prior knowledge on the environment or to the differential equations describing the evolution of the robot. For a large class of robots these equations are uncertain, enclose many unknown variables, are strongly nonlinear and should be solved very quickly.