Bienvenue#
Intervenants#
AB : Alexandre Bailleul (ENS)
AV : Anne Vaugon (Orsay)
BL : Bastien Laboureix (ENS)
JL : Jean Lecureux (Orsay)
NT : Nicolas M. Thiéry (Orsay)
PM : Patrick Massot (Orsay)
PLM : Pierre-Loïc Méliot (Orsay)
Organisation pratique#
Une semaine typique comporte:
Un cours le mercredi matin de 9h à 12h
Un TP le jeudi matin de 9h à 12h
Tous les cours ont lieu dans le bâtiment 307 sur le campus d’Orsay.
Salle de TP en ligne:
Planning#
2024-09-11 [NT] Introduction – 1A11
2024-09-12 [NT] Introduction TP – 0E10
2024-09-18 [JL] Polynômes, Euclide et restes chinois 1 – 1A11
2024-09-19 [JL] TP – 0E10
2024-09-25 [AV] Étude d’un texte – 0E5
2024-09-26 [AV] Étude d’un texte –0E10
2024-10-02 [JL] Polynômes, Euclide et restes chinois 2 – 0E1
2024-10-03 [JL] TP – 0E10
2024-10-09 [JL] Polynômes, Euclide et restes chinois 3 – 0E1
2024-10-10 [JL] TP – 0E10
2024-10-16 [AV] Résultant, corps finis, primalité 1 – 0E1
2024-10-17 [AV] suite cours et TP –0E10
2024-10-23 [AV] Compléments – 0E5
2024-10-24 [AV] TP – 0E10
vacances
2024-11-06 [AB] Passages sur texte – 0E1
2024-11-07 [AB] Passages sur texte – 0E10
2024-11-13 [AV] Passages sur texte – 0E1
2024-11-14 [AV] Passages sur texte – 0E10
2024-11-20 [AV] Résultant, corps finis, primalité 2 – 0E1
2024-11-21 [AV] TP – 0E10
2024-11-27 [AV] Résultant, corps finis, primalité 3 – 0E1
2024-11-28 [AV] TP – 0E10
2024-12-04 [AV] Résultant, corps finis, primalité 4 – 0E1
2024-12-05 [AV] TP – 0E10
2024-12-11 [AB] Passages sur texte – 0E1
2024-12-12 [AB] Passages sur texte – 0E10
vavances
2025-01-15 [JL] Passages sur texte
2025-01-16 [JL] Passages sur texte
Quelques références#
Option C de l’agrégation#
Utilisation du système de calcul formel libre XCAS pour l’agreg
Sites de Frédéric Han et Pascal Molin, préparation agreg de Paris 7
Site de Karim Belabas, préparation agreg de Bordeaux
SageMath ou Sage#
Le site de Sage: sagemath.org (version française)
Le livre libre Calcul Mathématique avec Sage
D’autres tutoriels Sage
Informatique et programmation#
Informatique et sciences du numérique Manuel de spécialité ISN en terminale.
Informatique pour tous en classes préparatoires aux grandes écoles
Tutoriel Python sur le site du zéro
Un cours Python, Bob Cordeau
Calcul mathématique#
A First Course in Linear Algebra de Rob Beezer, un livre libre illustré en Sage
Algorithmes en calcul formel et automatique Cours 2-22 du Master Parisien de Recherche en Informatique Frédéric Chyzak, Marc Giusti, François Ollivier, Bruno Salvy, Éric Schost
Modern Computer Algebra: J. von zur Gathen et J. Gerhard
Mathématiques pour le calcul formel: Maurice Mignotte
Calcul formel, mode d’emploi: Philippe Dumas, Claude Gomez, Bruno Salvy, Paul Zimmermann
Ideals, Varieties, and Algorithms: Cox Little O’Shea
Mathématiques Concrètes, Fondations pour l’informatique: Ronald Graham, Donald E. Knuth, Oren Patashnik, traduction d’Alain Denise
Calcul formel avec MuPAD: François Maltey
Crypto / codes correcteurs: Cassigny
Théorie des matrices: Gantmacher
Linear Programming: Chvatal
A Course in Computational Algebraic Number Theory: Henri Cohen
Advanced Topics in Computational Number Theory: Henri Cohen
Number Theory, vol 1: Henri Cohen
Number Theory, vol 2: Henri Cohen
A Computational Introduction to Number Theory and Algebra: Victor Shoup
Introduction à l’analyse numérique matricielle et à l’optimisation: Ciarlet
Quadratic Forms: Cox
Modélisation mathématique: un autre regard (recueil de textes d’agrégation): A. Lichnevsky Ed.
Linear Programming: Chvatal
Theory of Linear and Integer Programming: Schrijver
Pour les enseignants#
Les documents de cours sont écrits en LaTeX/ReST/Markdown/Jupyter et partagés sur un dépôt privé avec le système de gestion de version Git.