Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Nicolas Brisebarre

a dirigé 2 thèses
a été membre de jury pour 3 thèses

Algorithme LLL Algorithme de Remez Analyse mathématique Analyse réelle Approximation de fonctions Approximation minimax Approximation polynomiale et rationnelle Approximations polynomiales rigoureuses Arithmétique Flottante Arithmétique des ordinateurs Arithmétique en virgule fixe Arithmétique en virgule flottante Arithmétique flottante Arithmétique virgule fixe Arrondi correct Assistant de preuve Coq Baccalauréat Calcul rigoureux Calculs validés Coq Dilemme du fabricant de tables Erreur d'approximation Erreur rétrograde FPGA Faisceaux de matrices de Hankel Field Programmable Gate Arrays Filtres RIF Fonctions D-finies Intégrale de contour Invariants différentiels Modèles de Chebyshev – Modèles de Taylor Méthode comparative Méthode de Newton Méthodes d'encadrement Nombre de conditionnement Opérateurs Matériels Paires invariantes Polynômes de matrices Polynômes matriciels Preuve formelle Réseau Euclidien Réseaux logiques programmables par l'utilisateur Series de Chebyshev Solvants Tchebychev, Approximation de Évaluation des fonctions

Fullscreen

Algorithme LLL Algorithme de Remez Analyse mathématique Analyse réelle Approximation de fonctions Approximation minimax Approximation polynomiale et rationnelle Approximations polynomiales rigoureuses Arithmétique Flottante Arithmétique des ordinateurs Arithmétique en virgule fixe Arithmétique en virgule flottante Arithmétique flottante Arithmétique virgule fixe Arrondi correct Assistant de preuve Coq Baccalauréat Calcul rigoureux Calculs validés Coq Dilemme du fabricant de tables Erreur d'approximation Erreur rétrograde FPGA Faisceaux de matrices de Hankel Field Programmable Gate Arrays Filtres RIF Fonctions D-finies Intégrale de contour Invariants différentiels Modèles de Chebyshev – Modèles de Taylor Méthode comparative Méthode de Newton Méthodes d'encadrement Nombre de conditionnement

Nicolas Brisebarre a dirigé les 2 thèses suivantes :

Robust tools for weighted Chebyshev approximation and applications to digital filter design

par Silviu-Ioan Filip sous la direction de Nicolas Brisebarre et de Guillaume Hanrot . - Lyon

Informatique

Soutenue le 07-12-2016

Thèse soutenue

Accéder en ligne

Approximations polynomiales rigoureuses et applications

par Mioara Maria Joldes sous la direction de Jean-Michel Muller et de Nicolas Brisebarre . - Lyon, École normale supérieure

Informatique

Soutenue le 26-09-2011

Thèse soutenue

Accéder en ligne

Nicolas Brisebarre a été membre de jury des 3 thèses suivantes :

Tools for the Design of Reliable and Efficient Functions Evaluation Libraries

par Serge Torres sous la direction de Jean-Michel Muller - Lyon

Informatique

Soutenue le 22-09-2016

Thèse soutenue

Accéder en ligne

Computation of invariant pairs and matrix solvents

par Esteban Segura ugalde sous la direction de Moulay Abdelfattah Barkatou et de Paola Boito . - Limoges

Mathematiques et applications

Soutenue le 01-07-2015

Thèse soutenue

Accéder en ligne

Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée

par Catherine Lelay sous la direction de Sylvie Boldo et de Guillaume Melquiond . - Paris 11

Informatique

Soutenue le 15-06-2015

Thèse soutenue

Accéder en ligne