http://www.christoph-lauter.org/

LAUTER Christoph

Photo أسـتاذ مـحاضر
وحـدة : PEQUAN
تحديد : Jussieu
    UPMC - LIP6
    Boîte courrier 169
    Couloir 26-00, Étage 3, Bureau 311
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 80 29, Christoph.Lauter (at) nulllip6.fr
http://www.christoph-lauter.org/

نشـطات البـحـث

  • Algorithmes et opérateurs (transcendents) pour le calcul certifié en virgule flottante
    • Fonctions élémentaires correctement arrondies : participation au projet ANR TaMaDi, futur co- encadrant d'une thèse
    • Bibliothèques de compatibilité avec la norme internationale IEEE 754-2008 (entre autres : encadrement d'un stage)
    • Aspects logiciels et système du calcul rigoureux en virgule flottante (avec V. Ménissier-Morain)
    • Opérateurs spéciaux multiprécision validés et certifiés : normes sup validées rapides
  • Arithmétique d'intervalle et adaptation de la précision de calcul automatique
    • Développement de la suite de calcul numérique validé Sollya
  • Génération automatique de codes en virgule flottante avec gestion de la précision de calcul
    • Développement de l'algorithmique haut-niveau pour la génération de bibliothèques mathématiques libm

2 دكـاترة 2015 - 2017

إصدارات 2006-2017

 Mentions légales
| خـريـطـة المـوقـع