En todos los problemas planteados en el campo de la Robótica - que, como es bien sábido, es una herramienta básica en multitud de aplicaciones industriales- aparece intimamente ligada la cuestión de resolución de sistemas de ecuaciones polinomiales, sus posibilidades y limitaciones. A través de la colaboración de Buenos Aires con Santander, Madrid y Palaiseau (reunidos bajo la sigla TERA) se están llevando a cabo las tareas de preparación de una biblioteca de programas que permita el ataque de problemas concretos de eliminación algebro-diferencial para eventualmente, implementar un soft específico que resuelva estos problemas de la manera más eficiente posible.