SPECFUN (SR0654LR)

Symbolic Special Functions : Fast and Certified

SPECFUN (SR0538HR) →  SPECFUN →  MATHEXP (SR0920CR)

Statut: Terminée

Responsable : Frédéric Chyzak

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Algorithmique, calcul formel et cryptologie

Période : 01/07/2014 -> 31/03/2022
Dates d'évaluation : 17/03/2015 , 19/03/2019 ,

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Centre Inria de Saclay
Localisation : Centre de recherche Inria de Saclay
Code structure Inria : 111067-1

Numéro RNSR : 201221067B
N° de structure Inria: SR0654LR

Présentation

Axes de recherche

Relations industrielles et internationales