CHINESE SALSA

Contact : Fabrice.Rouillier (at) nullinria.fr
Du 01/01/2006 au 31/12/2008

Thématique de la collaboration :Calcul Formel, Systèmes polynomiaux, applications, logiciels. La thématique de la collaboration est celle qui est commune aux objectifs affichés des deux équipes. Les deux équipes travaillent sur la résolution des systèmes algébriques par le calcul exact (ou pour le moins certifié), avec pour but ultime les applications de préférence industrielles, en s'appuyant sur une forte activité de développement logiciel. Les objectifs sont de 3 ordres : mettre en commun les connaissances sur certains domaines fondamentaux (bases de Gröbner et ensembles triangulaires), développer de nouvelles méthodes pour la résolution des systèmes algébriques et semi algébriques et tirer partie de la diversité des domaines applicatifs abordés des deux cotés pour valoriser ce travail (cryptographie, déduction automatique, robotique, traitement du signal).

Projet SALSA, D. Wang, P. Aubry de SPIRAL, Université de Beihang, Université de Pékin, Chinese Academy of Sciences
INRIA

Fabrice ROUILLIER