Knowledge Tree

researcher / Marie-Françoise Roy

Marie-Françoise Roy

at_id:

orcid_id:

Disciplines:

Applied mathematics

Mathematics

Edit Merge See Links

Directed Thesis:

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

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

Applications des bases de Gröbner à la cryptograhie

Etude quantitative des ensembles semi-pfaffiens

Polynômes multisymétriques

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

Methode de wu, courbes reelles et demonstration automatique en geometrie

Complexite d'algorithmes de stratifications

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

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

Constructions de places reelles et geometrie semi-algebrique

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