Show Menu
Hide Menu
Le LIP6
À propos
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Enseignements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
Programmes et Équipements Prioritaires de Recherche
Laboratoires Communs
Projets ANR
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Emplois
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Recherche
Publications
Rapports de recherche
2006
Stratégies dynamiques utilisant l'Arithmétique Stochastique Discrète pour les méthodes d'approximation
F. Jezequel
Un nouvel outil pour calculer les groupes et idéaux de Galois et factoriser les polynômes dans des extensions algébriques
S. Orange, G. Renault, A. Valibouze
Test de vacuité d'automates de Büchi ensemblistes en utilisant des tests d'inclusion.
S. Baarir, A. Duret-Lutz
Tous les rapports ont un résumé en français.