| المساهمون: |
Polynomial Systems (PolSys), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Performance et Qualité des Algorithmes Numériques (PEQUAN), ANR-19-CE48-0015,ECARP,Algorithmes efficaces et exacts pour la planification de trajectoire en robotique(2019), ANR-22-CE91-0007,EAGLES,Algorithmes Efficaces pour Guessing, Inégalités, Sommation(2022), ANR-19-CE40-0018,DeRerumNatura,Décider l'irrationalité et la transcendance(2019), ANR-20-CE46-0009,INTERFLOP,Plateforme d'analyse pour l'arithmétique flottante(2020), ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020), ANR-22-EXNU-0002,Exa-MA,Methods and Algorithms for Exascale(2022), ANR-23-CE46-0005,MixHPC,Algorithmes en précision mixte pour le calcul haute performance(2023) |