Matthieu Perrinel Chef de projet, WP Apprentissage
Guillaume Aupy Chef de workpackage (Apprentissage)
Matthieu Barthélémy Chef de workpackage (Communication)
Marthe Bonamy Chef de workpackage (Tactiques)

Manuels :

  • A small manual for Ltac beginners
Yann Hourdel Chef de workpackage (IDE)
Pierre-marie Pédrot Chef de workpackage (Preuves)

Résultats majeurs :

  • R est indénombrable
  • L'axiomatique de R implique le principe de Markov

Bibliothèques :

  • Convergence de suites réelles
Guillaume Allais WP Preuves, Tactiques

Bibliothèques :

  • Séries entières dans R et C
  • Convergence de suites complexes
  • Analyse complexe
  • Tactique sur la convergence de suites réelles
Lucien Capdevielle WP Preuves, Apprentissage

Bibliothèques

  • Espaces vectoriels
Sylvain Dailler WP Preuves

Bibliothèques :

  • Nombres complexes (définition, manipulation, équivalence des notations)
Julien Delaborde WP IDE
Eric Dunand WP Apprentissage
Hugo Feree WP Preuves, Tactiques

Bibliothèques :

  • Séries dans R
  • Tactique sur la convergence de suites réelles
Guillaume Iooss WP Preuves
Oana Iova WP IDE
Jean-marie Madiot WP Apprentissage

Bibliothèques :

  • Topologie
  • Zeta (2) converge vers pi²/6
Lucie Martinet WP IDE, Communication
John Pavel
Amaury Pouly WP Preuves

Bibliothèques :

  • Arithmétique
Mikaël Rabie WP Preuves
Damien Reimert WP IDE
Philippe Robert WP IDE
Jill-Jênn Vie WP IDE

Valid XHTML 1.1 CSS Valide !

Nous contacter - Dernières modifications : novembre 2009