K3Dsurf est un logiciel sous licence GPL qui permet la visualisation et la manipulation de modèles mathématiques dans l'espace de trois, quatre, cinq et six dimensions. K3DSurf supporte les équations ...

Quel est le programme de la spécialité mathématiques ? Quel est le contenu des cours de première et de terminale ? Comment se déroulent les épreuves du bac spé maths ? Quels débouchés et quelles ...

On l'a beaucoup dit, le siècle qui vient de s'achever a été le véritable âge d'or des mathématiques: les mathématiques se sont davantage développées au cours du XXe siècle que pendant l'ensemble des ...

Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

C’est le grand retour du calcul mental dans l’épreuve de maths du brevet. En plus du changement global de notation du brevet, ...