Le département Calcul Scientifique regroupe les activités concernant le calcul formel (équipe PolSys: Polynomial Systems, commune avec INRIA Paris-Rocquencourt) et le calcul numérique (équipe PEQUAN: PErformance et QUalité des Algorithmes Numériques). Les activités de recherche du département ont pour objectif essentiel de concilier fiabilité et efficacité des calculs. Le département développe des algorithmes et des implantations pour la résolution sur ordinateurs de divers problèmes mathématiques.
Dans ce contexte, l’objectif de l’équipe PolSys est la conception et l’implantation d’algorithmes exacts pour la résolution des systèmes polynomiaux. Parmi les domaines d'application, on peut citer les sciences de l’ingénieur (robotique, biologie, mécanique, chimie, etc.). Un autre domaine d’application est la cryptologie sur lequel l’équipe met un accent particulier.
Les travaux de l'équipe PEQUAN sont centrés autour de l'arithmétique des ordinateurs, pour des environnements scientifiques allant du calcul embarqué aux grands calculateurs. Elle est reconnue pour son implication dans la fiabilité numérique des logiciels, le calcul sur architectures parallèles, la conception d'opérateurs cryptographiques et l'assimilation des images.
