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 ...

Binaire : tes travaux se situent à la frontière de l’informatique et des mathématiques. Est-ce que ce sont pour toi deux domaines distincts ? Thierry Coquand : le point de départ de ma thèse était une ...

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 ...

Le logiciel Maxima Portable est un utilitaire mathématique Open Source permettant de traiter une foule de calculs et d’équations sur les résolutions de systèmes, les équations différentielles, les ...

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 ...

Découvrez le programme de calcul symbolique Maxima, conçu à l’origine pour répondre aux besoins du Département de l'Énergie américain. Le logiciel Maxima est un utilitaire mathématique Open Source ...

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 ...

B : tes travaux se situent à la frontière de l’informatique et des mathématiques. Est-ce que ce sont pour toi deux domaines distincts ? TC : le point de départ de ma thèse était une tentative ...