Logo Logiciels
E
t
M
athématiques
M
E

in English

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