Calculs Algébriques et SYstèmes dynamiqueS

• 3.1  Calculs algébriques
  • 3.1.1  Catégories pour la sémantique des langages de programmation
  • 3.1.2  Algèbre linéaire exacte
  • 3.1.3  Arithmétique pour la cryptologie et les codes correcteurs
• 3.2  Systèmes dynamiques
  • 3.2.1  Équations différentielles
  • 3.2.2  Interaction des systèmes dynamiques avec la physique et la biologie, bifurcations
  • 3.2.3  Systèmes hybrides, dynamique des réseaux
  • 3.2.4  Contrôle et optimisation