Sites Inria

Il y a 3 Résultats avec le mot clé : "Specfun"

© INRIA Sophie Auvin - S comme Simulation

Conférence scientifique

Séminaire de l'équipe de recherche SpecFun

6/03/2017

Lieu : Inria Saclay - Île-de-France 1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing Campus de l'École Polytechnique 91120 Palaiseau

Mots-clés :

Accueil > Centre > Saclay > Agenda > Séminaire de l'équipe de recherche SpecFun

lire la suite

Publication

Calcul formel & algorithmes efficaces

14/09/2017

L'ouvrage Algorithmes efficaces en calcul formel  co-écrit par Frédéric Chyzak et Alin Bostan (équipe SpecFun - Inria), Bruno Salvy (équipe Aric - Inria), Marc Giusti et Grégoire Lecerf (Laboratoire d'Informatique de l'École polytechnique) vient de paraitre.

D'abord destiné aux étudiants spécialisés dans le calcul formel, cet ouvrage pourra plus largement servir de référence ou d'initiation à d'autres chercheurs, de la discipline ou en dehors.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Calcul formel & algorithmes efficaces

Lire la suite

Équipe de recherche

Georges Gonthier rejoint l’équipe SPECFUN

Charlotte Renauld - 28/10/2016

Depuis sa thèse aux côtés de Gérard Berry, professeur au Collège de France, Georges Gonthier explore le domaine de la vérification informatique des théorèmes mathématiques. Après avoir travaillé pour le centre Inria Rocquencourt, le laboratoire de recherche Microsoft à Cambridge et participé à la création du laboratoire commun Inria – Microsoft Research, Georges Gonthier rejoint l’équipe SPECFUN du centre Inria Saclay – Île-de-France pour poursuivre ses projets de recherche et retrouver les équipes avec qui il collabore depuis plusieurs années. 

Mots-clés :

Accueil > Centre > Saclay > Actualités > Georges Gonthier rejoint l’équipe SPECFUN

Lire la suite

Haut de page

Suivez Inria