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

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

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

En mathématiques, un calcul est une opération ou un ensemble d'opérations effectuées sur des grandeurs. Initialement ces grandeurs étaient des nombres mais le développement des outils mathématiques et ...

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

La nouvelle version de l’épreuve de maths du brevet inclut maintenant des questions de calcul mental appelées « automatismes ...

Après l'adoption de la méthode axiomatique, le raisonnement a souvent été présenté comme l'unique outil à utiliser pour résoudre un problème mathématique. Dans le discours qu'ils ont tenu sur leur ...