Ce projet propose deux prototypes implémentant le calcul des Rational Univariate Representations (RUR) pour la résolution de systèmes d'équations polynomiales à dimensions nulles et à coefficients rationnels. Un RUR est une forme linéaire t=a1x1+..+anxn et un ensemble de n+1 polynômes univariés f(T),f1(T), ... ,fn(T), tels que les racines de S soient en bijection avec les racines de f.