MENU

Numérique

Logiciels de calcul formel

 Logiciels de calcul formel 

 
Les logiciels de calcul formel, parfois appelés logiciels de calcul symbolique, ou C.A.S (computer algébraïc systems) traitent les expressions littérales, et permettent, quand c'est possible, d'effectuer des calculs exacts.

► Maxima est un logiciel de calcul formel sous licence libre, qui permet de représenter  aussi des courbes et des surfaces. Il possède quelques instructions de programmation. Maxima existe aussi sur Androïd.

L' interface WxMaxima rend plus facile l'accès aux fonctions de Maxima.
  •  télécharger le logiciel ici ,  le cas échéant cliquer sur lien   Windows: download maxima 5.23.2 which includes wxMaxima 0.8.7.

                      consulter l' Introduction en 10 minutes  ( traduction de 10 minute (wx)Maxima tutorial  de Žiga Lenarčič )

  • Interface WxMaxima :  Consulter
  • tutoriel Maxima par Paul Kayser (nécessite Wxmaxima installé sur votre ordinanteur): télécharger
► Xcas : Logicel sous licence libre, multiplateforme. Il permet de faire de la programmation, mais aussi du calcul formel, des représentations graphiques dans le plan ou l'espace, de la géométrie dynamique dans le plan ou dans l'espace, du tableur et des statistiques . Et aussi, pour Androïd : Xcas pad, Androcas...
  • Site officiel Xcas (installation, documentations, liens...)  
  • Tutoriel  de  Renée De Graeve (extrait de l'aide du logiciel) : Consulter
  • Tutoriel Xcas calcul formel par Paul Kayser (nécessite Xcas installé sur votre ordinateur) : télécharger
  • Matrices pour les programmes de terminale, spécialité maths, ressource 393

    RESSOURCE : Fiche outils :  matrices avec Xcas

 

► Casyopée est un logiciel libre et gratuit pour l’apprentissage des fonctions dans l'esprit des nouveaux programmes de mathématiques du lycée... Il vise à faciliter les explorations numérique, graphique et formelle de ces objets mathématiques. Un module de géométrie dynamique, intégré dans l’environnement Casyopée, offre la possibilité d’explorer et modéliser fonctionnellement des situations géométriques. Casyopée est orienté vers la résolution de problèmes sur et avec des fonctions, la modélisation et la preuve. Il apporte des aides spécifiques à l'élève dans ces activités grâce au calcul formel. consulter le site

 

► SAGE est un logiciel libre de calcul mathématique s'appuyant sur le langage de programmation Python. Il fait appel à des logiciels existants comme GAP,Maxima, PARI. Consulter le livre Calcul mathématique avec Sage , télécharger du logiciel sur le site de SAGE

 

► Aplusix 3 est un logiciel d’aide à l’apprentissage de l’algèbre pour les élèves de collège et de lycée. Il porte sur la résolution d’exercices (calculs numériques, développements, factorisations, résolutions d’équations, d’inéquations et de systèmes d’équations) ainsi que sur la résolution de problèmes donnés en français. Adresse du site: http://www.aplusix.com/fr/index.html