Sites Inria

Il y a 4 Résultats avec le mot clé : "Calcul formel"

Issac

Conférence calcul formel

ISSAC 2012

22/07/2012 au 25/07/2012

La conférence internationale ISSAC (The International Symposium on Symbolic and Algebraic Computation) est une conférence majeure du domaine du calcul formel. ISSAC 2012 sera la 37e occurrence de la série, démarrée en 1966 et qui a lieu chaque année depuis 1981, alternativement en Amérique du Nord, en Asie et en Europe.

Lieu : Campus Université de Grenoble

Intervenant(s) : Frits Beukers, Marie-Francoise Roy, Volker Strassen, Viktor Levandovskyy, Pascal Koiran, Seth Sullivant

Mots-clés :

Accueil > Centre > Grenoble > Agenda > ISSAC 2012

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

Publication

Arithmétique informatique et preuves formelles

M.Q. (*) - 29/11/2017

L'ouvrage "Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System" , coécrit par Sylvie Boldo et Guillaume Melquiond, tous deux chercheurs au sein de l'équipe de recherche Toccata du centre Inria Saclay - Île-de-France, vient de paraître aux éditions Iste.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Arithmétique informatique et preuves formelles

Lire la suite

Travaux Gamble

Equipe

Une nouvelle équipe chez Inria Nancy : Gamble

C.Beri (*) - 22/03/2017

Depuis le 1er janvier 2017, l’équipe Gamble (Geometric Algorithms & Models Beyond the Linear & Euclidean realm ) a pris le relais de l’équipe Vegas (Algorithmes géométriques effectifs pour la visibilité et les surfaces). Rencontre avec Olivier Devillers, responsable de cette nouvelle équipe.  

Mots-clés :

Accueil > Centre > Nancy > Actualités > Une nouvelle équipe chez Inria Nancy : Gamble

Lire la suite

Haut de page

Suivez Inria