Le projet ptraj est un générateur de trajectoires basé sur des polynômes de degré 5. Il fournit des bibliothèques pour le calcul des coefficients de polynômes, la résolution d'équations polynomiales et l'optimisation de fonctions polynomiales.

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.