|
 |
|
À Aristide
Briand
|
À
Rennes 1
|
|
| Adresse : 10, bd Pierre-de-Coubertin BP 418 44606 Saint-Nazaire cedex mél : Richard.Leroy "at" "ne pas copier cette partie" ac-nantes.fr tél : 02.40.00.25.25 fax : 02.40.00.25.00 |
Adresse : Bureau 634, bâtiment 23 Campus de Beaulieu, 35042 Rennes cedex, France mél : richard.leroy "at" "ne pas copier cette partie" ens-cachan.org tél : 02 23 23 65 86 fax : 02 23 23 67 90 |
- Mon Curriculum Vitae (version française, English version)Le plus drôle des webmasters.
Documents d'enseignement
- Classes
préparatoires PCSI et TSI :
Exercices de colles
Nombres complexes
Nombres complexes 2
Fonctions usuelles
Géométrie plane
Géométrie plane et équations différentielles
Équations différentielles et fonctions usuelles
Transformations du plan
Sujets de DS ou DM
DS : Nombres complexes et son corrigé
DM : Nombres complexes
Feuilles d'exercices
Nombres complexes 1
Nombres complexes 2
Séances Maple
Introduction à Maple et nombres complexes
Résoudre et tracer en Maple, et quelques exercices géométriques
- Lycée
Aristide Briand
Quelques activités tableur pour la filière STG
- Une introduction à l'utilisation du tableur d'Openoffice pour l'étude de suites arithmétiques et géométriques (fichier pdf)
- Prise en main du tableur d'Openoffice : construction de châteaux de cartes (sujet, corrigé), tables de multiplication et intérêts composés (corrigé)
Algorithmique en Seconde
- Un aide-mémoire pour le logiciel Algobox (fichier pdf)
- TP Algobox : triangles rectangles ; pile ou face (sujet).
Corrigé n°1 (Algobox, version web), corrigé n°2 (Algobox, version web)
- TP Algobox : méthode de Monte Carlo (sujet, algorithme monte1.alg, version web)
- Agrégation
de mathématiques : quelques développements
d'algèbre "originaux", entre autres...
Rudiments de cryptographie
Sommes de carrés de polynômes réels multivariés
Une application combinatoire du théorème de Chevalley-Warning
Quelques résultats liés aux matrices compagnes et aux matrices symétriques
Une note sur l'unicité des facteurs invariants d'une matrice sur un anneau principal
Quelques réflexions et exercices sur la leçon "Corps finis. Applications"
Une note sur le calcul de l'exponentielle matricielle par interpolation de Lagrange
Sur les matrices semblables à leur inverse
- TP
Maple : quelques textes de préparation à l'option
C de modélisation à l'agreg (calcul formel)
- B04 : Un TP sur l'algorithme du pivot de Gauss (sujet, corrigé)
- Agreg : stage Maple (Introduction à Maple) : sujet
- Agreg : stage Maple (Newton, Horner, Descartes...) : sujet, corrigé
- Agreg : RSA, mise en place et attaque par les fractions continues : sujet, corrigé
- Agreg : Une illustration graphique du crible d'Eratosthène (fichier)
- Agreg : sommes de carrés de polynômes réels multivariés : sujet, corrigé
- Agreg : coloriage de cartes et Sudoku (fichier Amérique du Sud, fichier Sudoku, corrigé)
- Agreg : un texte sur le jeu de Chomp : sujet, corrigé
- Agreg : un texte sur le cryptosystème de Chebychev (sujet)
- MASS
1 : Analyse
Les feuilles de TD (1, 2, 3, 4)
- MASS
3 : Deux sujets de TER
:
compression d'images
reconnaissance de formes
- B04 :
Algèbre linéaire
Les feuilles d'exercices (1, 2, 3)
La Base RAISonnée d'Exercices (BRAISE)
Les contrôles continus 2007 (1, 2, 3)
Les examens terminaux (2006, 2007)
- Préparation
à l'entrée à l'IUFM (professeurs des
écoles)
Le cours et les feuilles d'exercices
Recherche
Thèse (sous la direction de M.F. Roy) : Certificats de positivité et minimisation polynomiale dans la base de Bernstein multivariée (pdf)
Publications :
- Une
borne
effective sur l'écart entre le polytope de
contrôle et le
graphe d'un polynôme réel sur un simplexe
(Comptes rendus - Mathematique 347 (2009), pp. 1331-1336)
- A
bound on the minimum of a real positive polynomial over the standard
simplex (with S. Basu and M.F. Roy)
(MEGA 09 Effective Methods in Algebraic Geometry)
- Software : Certificates of Positivity in SARAG (included in
the computer algebra system Maxima) (with F. Caruso)
(MEGA 09 Effective Methods in Algebraic Geometry)
- Certificates of positivity in the simplicial Bernstein basis (submitted)
Exposés :
- Théorème
de Schmüdgen : une preuve algébrique
(séminaire de DEA, 2004)
- Polynômes positifs, sommes de carrés ; application à l'optimisation (mémoire de DEA, 2004)
- Minimisation et théorie des moments, d'après Lasserre (exposé au séminaire de Calcul Formel, Rennes, 11/02/2005)
- Nonnegative polynomials modulo their gradient ideal (talk at the Algebra seminar, University of Konstanz, 06/06/2005)
- Positivité et sommes de carrés en géométrie algébrique réelle (exposé lors des Rencontres Doctorales de l'Ouest 2005, université de Nantes, 20/11/05)
- Certificats de positivité dans la base de Bernstein multivariée (séminaire de Calcul Formel, Rennes, 20/04/2007)
- Positivité, minimisation et base de Bernstein (Université de Brest, 16/05/2007)
- Certificats de positivité et minimisation polynomiale dans la base de Bernstein multivariée (Journées nationales du Calcul Formel, CIRM Luminy, 24/10/08)
- Certificates
of positivity and polynomial minimization in the multivariate Bernstein
basis (SAGA meeting, Castro Urdialès, 11/08)
LaTeX
- Un style Beamer pour les présentations de
l'Université de
Rennes 1 Européenne de Bretagne : le fichier
style, le logo,
et un exemple.
- Comment insérer l'heure dans un document Beamer
: le fichier style,
et
un exemple.
N.B. : Cela utilise les fonctions javascript d'Acrobat Reader (qu'il faut donc utiliser). Sous Mac, si le rendu n'est pas beau, il faut décocher l'option "Afficher la couleur lors du passage sur les champs" (dans Édition > Préférences > Formulaire).
- Comment insérer une page noire dans un document Beamer (pour faire une preuve au tableau)
Liens
- Un lien vers le site des Rencontres Doctorales de Mathématiques de l'Ouest 2006, que j'ai eu le plaisir de co-organiser.