SIGNALER une erreur


Algebraic geometry  Algorithmes  Algorithmes rapides  Analyse combinatoire  Approximation de Hermite-Padé  Bases de Gröbner  Bernstein, Polynômes de  Bézout, Théorème de  Calcul formel  Chiffrement  Coq  Coq  Corps algébriques  Courbes cubiques  Cryptanalyse algébrique  Discriminants  Dualité, Principe de  Décodage en liste  Ensembles semi-algébriques  Ensembles semi-analytiques  Fonctions semi-algébriques  Fonctions symétriques  Formalisation des mathématiques  Formalisme  Forme de Popov  Fractions  Geometrie algebrique  Groupes algébriques  Gröbner, Bases de  Géométrie algorithmique  Géométrie algébrique  Géométrie algébrique réelle  Immunité algébrique  Invariants  Itération  Manipulateurs  Matrice polynomiale  Matrices polynômiales  Modèles mathématiques  Nombres algébriques  Optimisation mathématique  Permutations  Picard, Groupes de  Polynômes  Polytopes convexes  Positivité  Raffinements d'un éventail  Registres  Représentation de Newton des polynômes  Règles de descartes  Résidu global dans le tore  Substitution  Suites spectrales  Symbole de Kronecker  Système d’équations modulaires  Systèmes d'équations polynomiales à paramètres  Syzygies  Syzygies  Théorie des modèles  Topologie algébrique  Topologie différentielle  Variété torique projective  Variétés algébriques réelles  Variétés toriques  Éclatement  Élimination des quantificateurs  Équations algébriques  Équations polynomiales  

Marie-Françoise Roy a dirigé les 14 thèses suivantes :

Études de quelques modèles épidémiologiques par les méthodes du calcul formel

par Adamou Otto sous la direction de Marie-Françoise Roy et de Issoufou Katambe . - Rennes 1

Mathématiques et applicationsMathématiques et applications
Soutenue en 2009
Thèse soutenue

Certificats de positivité et minimisation polynomiale dans la base de Bernstein multivariée

par Richard Leroy sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques et applications
Soutenue en 2008
Thèse soutenue

Accéder en ligne

Applications des bases de Gröbner à la cryptograhie

par Gwénolé Ars sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques
Soutenue en 2005
Thèse soutenue

Etude de systèmes polynomiaux : contributions à la classification d'une famille de manipulateurs et au calcul des intersections de courbes A - splines : par Solen Corvez

par Solen Corvez sous la direction de Marie-Françoise Roy et de Laureano Gonzalez-Vega . - Rennes 1

Mathématiques et applications
Soutenue en 2005
Thèse soutenue

Etude quantitative des ensembles semi-pfaffiens

par Thierry Zell sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques et applications
Soutenue en 2003
Thèse soutenue

Accéder en ligne

Polynômes multisymétriques

par Emmanuel Briand sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques et applications
Soutenue en 2002
Thèse soutenue

Calcul et factorisation interactive de resolvantes de lagrange en theorie de galois effective

par FREDERIC LEHOBEY sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques et application
Soutenue en 1999
Thèse soutenue

Algorithmes efficaces pour l'etude des zeros reels des systemes polynomiaux

par Fabrice Rouillier sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques
Soutenue en 1996
Thèse soutenue

Methode de wu, courbes reelles et demonstration automatique en geometrie

par JEAN MAINGUENE sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques et applications
Soutenue en 1994
Thèse soutenue

Dualité et algorithmes itératifs pour la résolution de systèmes polynomiaux

par Jean-Paul Cardinal sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques et applications
Soutenue en 1993
Thèse soutenue

Complexite d'algorithmes de stratifications

par Éric Rannou sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques et applications
Soutenue en 1993
Thèse soutenue

Utilisation du calcul formel en theorie analytique du mouvement des satellites artificiels

par LAURENCE WAUTHIER sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques et applications
Soutenue en 1991
Thèse soutenue

Comparaison entre 3 algorithmes d'élimination des quantificateurs sur les corps réels clos

par Annette Paugam sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques
Soutenue en 1986
Thèse soutenue

Constructions de places reelles et geometrie semi-algebrique

par Zoubida Jadda sous la direction de Marie-Françoise Roy - Rennes 1

Mathématiques
Soutenue en 1986
Thèse soutenue


Marie-Françoise Roy a été président de jury des 2 thèses suivantes :

Calculs du symbole de kronecker dans le tore

par Franck Dupont sous la direction de Aviva Szpirglas - Poitiers

Mathématiques
Soutenue le 04-12-2017
Thèse soutenue

Accéder en ligne

Bases of relations in one or several variables : fast algorithms and applications

par Vincent Neiger sous la direction de Gilles Villard et de Eric Schost . - Lyon

Informatique
Soutenue le 30-11-2016
Thèse soutenue


Marie-Françoise Roy a été membre de jury des 2 thèses suivantes :

Polynômes à une variable et signes de leurs coefficients et racines réelles

par Hassan Cheriha sous la direction de Vladimir Petrov Kostov et de Yomna Rebai . - Université Côte d'Azur

Mathématiques
Soutenue le 17-09-2020
Thèse soutenue

Accéder en ligne

Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle

par Boris Djalal sous la direction de Yves Bertot - Université Côte d'Azur (ComUE)

Informatique
Soutenue le 03-12-2018
Thèse soutenue

ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales