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

LAUTER Christoph

Giảng viên có bằng tiến sĩ khoa học
Nhóm nghiên cứu : PEQUAN
Ngày đi : 01-10-2018
http://www.christoph-lauter.org/

Hoạt động nghiên cứu

  • 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

3 Tiến sĩ 2015 - 2019

Bài báo khoa học 2006-2019

 Mentions légales
Sơ đồ site |