Logiciels Et Mathématiques M E

in English

Accueil. Equipe Logiciels. Stages. Rapport d´activité Actions AOC , S-Java, Modocop et Concert Séminaire.

Propositions de stages 2001 au sein du projet LEMME Flottants machines certifiés Implantation certifiée de Diffie-Hellmann Satisfiabilité et certification Outils de structuration de scripts dans Pcoq Preuves certifiées Développement d'une interface graphique pour logiciels de calcul symbolique. Visualisation d'expressions mathématiques en SVG Vérification du contrôle des ressources pour les programmes Java Linear references for Java Type-based termination of recursive definitions Représentations canoniques des nombres rationnels. Algorithmes géométriques certifiés et efficacité Stage disponible Stage attribué

Contact: Loic.Pottier@sophia.inria.fr ou Yves.Bertot@sophia.inria.fr .

Mise à jour: 22 octobre 2001