Approfondir

Pour en savoir plus sur des notions fondamentales

Facile

Calculer sur des données massives

Comment fonctionne MapReduce, l’un des principaux logiciels utilisés pour faire des calculs sur des données massives ?

Publié le 06/05/2015

Par Serge Abiteboul

Intermédiaire

Modélisation en dynamique des populations

Les différents formalismes de simulation de l'évolution d'une population, initialement antagonistes, tendent à se réconcilier.

Publié le 15/04/2014

Par Fabien Campillo

Avancé

Les planètes tournent-elles rond ?

Des planètes qui s’écrasent dans le Soleil ou, au contraire, qui s’éloignent ! Voilà ce qui arrive si on choisit la mauvaise méthode pour calculer leurs positions.

Publié le 06/11/2013

Par Gilles Vilmart, Shaula Fiorelli Vilmart

Intermédiaire

L’eau sous nos pieds

Comment peut-on s’assurer que les déchets résidentiels ou industriels n’altéreront pas la qualité de l’eau de la nappe phréatique ?

Publié le 16/07/2013

Par France Caron, André Garon

Facile

Idée reçue : Comparer la puissance de deux ordinateurs, c’est facile !

Il y a une quinzaine d'années, quand on achetait un nouvel ordinateur, on avait une idée assez précise de sa puissance. De nos jours, c’est beaucoup plus difficile !

Publié le 22/04/2013

Par Brice Goglin, Bertrand Putigny

Intermédiaire

Modéliser les robots à câbles

Déterminer les caractéristiques de ce type de robot et prévoir ses mouvements ne se fait pas au hasard, mais se calcule grâce à des modèles mathématiques.

Publié le 05/03/2013

Par Jean-Pierre Merlet

Facile

Du rêve à la réalité des preuves

Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.

Publié le 08/06/2012

Par Jean-Paul Delahaye

Intermédiaire

Modéliser la propagation d’une épidémie

La propagation d'une épidémie peut être modélisée par des équations différentielles. Leur résolution numérique permet de déterminer son comportement.

Publié le 28/11/2011

Par François Rechenmann

Facile

Un algorithme pour mettre en rang une équipe de football

Réaliser un alignement, une évidence ? Pas si sûr... Du sport de ballon au sport cérébral, découvrez différentes méthodes pour y parvenir.

Publié le 28/07/2011

Par Jocelyne Erhel

Avancé

Stratégies magiques au pays de Nim

Le théorème de Sprague-Grundy de la théorie des jeux est l’une de ces petites merveilles mathématiques qui permettent de battre votre adversaire et dont la simplicité vous laisse pantois d’admiration.

Publié le 21/06/2011

Par Jean-Paul Delahaye

Intermédiaire

Calculer différemment

Comment dépasser les limitations des machines de Turing pour calculer plus, pour calculer autrement, pour calculer plus vite ou pour calculer mieux ?

Publié le 27/01/2011

Par Jean-Louis Giavitto

Intermédiaire

Modéliser la dynamique des populations animales : la prédation

Dans un écosystème, les populations interagissent et leurs effectifs évoluent en conséquence. La simulation permet de déterminer le comportement qui en résulte.

Publié le 27/10/2010

Par François Rechenmann

Intermédiaire

Systèmes dynamiques et équations différentielles

Un système dynamique est un ensemble d’entités en interaction. Comment le représenter pour comprendre et prédire son comportement ?

Publié le 27/07/2010

Par François Rechenmann

Intermédiaire

Les ingrédients des algorithmes

Pour programmer un ordinateur, le plus important ce sont les méthodes mises en œuvre. Découvrez les ingrédients à combiner pour créer ces algorithmes !

Publié le 21/04/2010

Par Gilles Dowek, Thierry Viéville, Jean - Pierre Archambault, Emmanuel Baccelli, Benjamin Wack

Intermédiaire

Cultivons notre jardin

Les plantes poussent si lentement qu’elles semblent figées dans leur architecture. Aujourd’hui, grâce à la modélisation sur ordinateur, les hommes « accélèrent » ce processus et ainsi prévoient, optimisent les récoltes...

Publié le 19/01/2010

Par Philippe de Reffye

Intermédiaire

Idée reçue : Si un problème est NP-complet, alors ce n’est pas la peine de s’y attaquer

Pourquoi une affirmation aussi catégorique est-elle en partie fausse ? Revenir sur la définition des problèmes P, NP et des problèmes NP-complets aide à le comprendre.

Publié le 09/12/2009

Par Jean-Paul Delahaye

Facile

La fin des Dames anglaises ?

Depuis le 29 avril 2007, c’est chose faite : de nombreuses innovations et une opiniâtreté exceptionnelle sont venues à bout de Checkers, le jeu de Dames anglaises.

Publié le 27/10/2009

Par Jean-Paul Delahaye

Intermédiaire

La vérité et la machine

Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.

Publié le 30/09/2009

Par Benjamin Werner

Facile

Pierre, feuille, ciseaux...

Joué comme un jeu de conquête, l’ancien jeu chinois de la pierre, de la feuille et des ciseaux éclaire les phénomènes de synchronisation et de maintien de la diversité animale.

Publié le 23/03/2009

Par Jean-Paul Delahaye

Intermédiaire

Théories et théorie de l’information

Information, c’est le thème proposé aux étudiants des classes préparatoires aux grandes écoles pour leurs TIPE de l’année 2008-2009. Une occasion pour nous d’élargir la réflexion sur ce sujet.

Publié le 05/09/2008

Par Jean-Paul Delahaye