logiciels pour modéliser les mathématiques

 Cabri est logiciel de mathématiques dynamiques développé en France et gratuit, disponible en ligne ou sur PC et Mac. Simple à utiliser, souple et efficace.
O.S. : Windows, mac
Licence individuelle gratuite

CaRMetal est dérivé de C.a.R. : il reprend toutes ses fonctionnalités tout en proposant une approche différente du point de vue de l'interface graphique. Il ne s'agit pas d'un simple réhabillage cosmétique de l'application - ce qui en soit n'a que peu d'interêt - mais d'un changement quelquefois important dans la manière d'accéder aux fonctionnalités.
O.S. : Windows, Mac, Linux
Licence : GPL

DGPad est un logiciel qui permet d'effectuer des constructions géométriques dans le plan. Un système de gestures simples et naturelles est implémenté, mais on peut aussi effectuer toutes les constructions par l'intermédiaire d'outils contextuels, qui n'apparaissent que lorsqu'on clique ou que l'on tape sur un objet géométrique. DGPad s'utilise en ligne : aucune installation n'est nécessaire.
Navigateurs : Firefox, Chrome et Safari
Licence : Non définie

 GeoGebra est un logiciel dynamique de mathématiques réunissant géométrie, algèbre et calcul.
Vous pouvez élaborer des constructions comprenant des points, des vecteurs, des segments, des droites, des coniques et même des courbes représentatives de fonctions et modifier tout cela interactivement. Par ailleurs, les équations et coordonnées peuvent être entrées directement. GeoGebra développe, factorise des expressions et peut trouver les dérivées et intégrales de fonctions.
La version 5 intègre la 3D.
Geogebra est également utilisable en ligne.
O.S. : Windows, Mac, Linux
Licence : GPL

Geoplan - Geospace est certainement le plus performant des logiciels de géométrie dynamique. Les constructions suivent une démarche mathématique. Le logiciel est bien adapté aux animations et la dernière version gère les nombres complexes et leurs représentations. Point faible, les constructions sont longues à réaliser car chaque objet doit être défini.
O.S. : Windows
Licence : Gratuit pour tout usage pédagogique

MathGraph32 permet de créer en quelques clics de souris des figures géométriques. Il permet aussi de simuler des expériences aléatoires, de créer ses propres fonctions numériques (de variable réelle ou complexe) d’une, deux ou trois variables, de calculer la dérivée formelle d’une fonction réelle ou une dérivée partielle d’une fonction de deux ou trois variables. Il permet enfin de représenter des graphes dynamiques de suites récurrentes réelles ou complexes. Les transformations géométriques usuelles sont disponibles.
MathGraph32 est également utilisable en ligne.
O.S. : Windows, Mac, Linux
Licence : GPL

 Pavages est un logiciel qui permet de construire simplement des pavages de toute sorte.
O.S. : Windows, Mac, Linux
Licence : GNU GPL

 Cabri est logiciel de mathématiques dynamiques développé en France et gratuit, disponible en ligne ou sur PC et Mac. Simple à utiliser, souple et efficace.
O.S. : Windows, mac
Licence individuelle gratuite

 Desmos est un traceur de courbes en ligne très simple à utiliser. L'éditeur d'équation permet une reconnaissance automatique du type de graphe en fonction de ce qui est écrit : y=f(x), x=g(x), avec paramètre, polaire... Desmos édite également un code qui permet de pointer via un lien vers le fichier contenant des courbes.
O.S. : Windows, Mac, Linux
Licence : terms

 GeoGebra est un logiciel dynamique de mathématiques réunissant géométrie, algèbre et calcul.
Vous pouvez élaborer des constructions comprenant des points, des vecteurs, des segments, des droites, des coniques et même des courbes représentatives de fonctions et modifier tout cela interactivement. Par ailleurs, les équations et coordonnées peuvent être entrées directement. GeoGebra est capable de travailler avec des variables numériques ou vectorielles ainsi qu'avec des points, peut trouver les dérivées et intégrales de fonctions et propose des commandes comme Racine ou Extremum.
Geogebra est également utilisable en ligne.
O.S. : Windows, Mac, Linux
Licence : GPL

Sine Qua Non est un traceur de courbes. Il est destiné spécialement aux professeurs de mathématiques, mais peut aussi être utilisé avec profit par les élèves.
O.S. : Windows
Licence : Freeware

 GeoGebra est un logiciel dynamique de mathématiques réunissant géométrie, algèbre et calcul.
La dernière version intègre un tableur dont les variables peuvent être appelées depuis la fenêtre de géométrie.
Geogebra est également utilisable en ligne.
O.S. : Windows, Mac, Linux
Licence : GPL

Google tableur un tableur assez complet mais les formules se saisissent en anglais.
Avantage : le logiciel s'utilise en ligne et Google met à disposition un espace de stockage permettant de partager les documents. L'enregistrement en local peut se faire dans différents formats (xls, ods, ...).
Son utilisation nécessite l'ouverture d'un compte Google.
O.S. : Windows, Mac, Linux
Licence : Gratuit

 OpenOffice possède un tableur (copie conforme d'Excel) ainsi qu'un traitement de texte.
Pour les jeunes, il existe une version simplifiée du logiciel : OOo4Kids
O.S. : Windows, Mac, Linux
Licence : GPL

Calculatrice de fonction calcule des limites, des dérivées successives, des intégrales, ...
O.S. : Windows, Mac, Linux
Licence : GNU GPL

WolframAlpha est un moteur de recherche scientifique mais aussi un logiciel de calcul formel en ligne. Il résout des équations, factorise, développe, affiche des représentations graphiques.
O.S. : Windows, Mac, Linux
Licence : Gratuit pour usage personnel

Xcas est un logiciel libre qui permet de faire du calcul formel mais également de la géométrie dynamique (dans le plan ou dans l'espace), du tableur et de la programmation. Très puissant mais difficile à utiliser avec des élèves du collège car peu intuitif.
O.S. : Windows, Mac, Linux
Licence : GPL

Algoblocs permet de s'initier à la programmation avec des blocs à emboîter.
Les blocs sont transformés en code informatique et exécutés pour créer un dessin géométrique.
En réussissant des défis ludiques de difficulté progressive, qui se débloquent au fur et à mesure, l'élève comprend peu à peu les différents concepts de la programmation informatique : boucles, variables, fonctions...
Utilisation en ligne

Blockly Game est une série de jeux éducatifs qui enseignent la programmation. Il est conçu pour les enfants qui n'ont pas d'expérience préalable avec la programmation informatique. Le lien renvoie directement vers l'application Turtle permettant de programmer le tracé de figures simples.
Utilisation en ligne

 Géotortue est une petite tortue ou plutôt une bombe pédagogique qui lie constructions géométriques, logique, algorithmique et programmation. La petite tortue de Salvatore Tummarello peut également se promener dans l'espace euclidien ou sur la sphère. Allez sur le site de l'IREM de Paris pour découvrir exemples et activités dès le cycle 3.
Fonctionne avec Java.
O.S. : Windows, Mac, Linux
Licence : GPL

Robotprog Programmez un robot virtuel à l’aide d’un organigramme : dessinez l’organigramme, lancez l’exécution et vous voyez le robot exécuter le programme. RobotProg permet un apprentissage progressif de la programmation par niveaux successifs.
O.S. : Windows, Mac
Licence : Freeware

 Scratch permet de commencer avec l'algorithmique de façon ludique et créative. Avec Scratch, vous pouvez programmer vos propres histoires interactives, vos jeux et animations - et partager vos créations avec d'autres au sein de la communauté en ligne sur scratch.mit.edu
Version Scratch en ligne réalisée par l'académie de Grenoble.
O.S. : Windows, Mac, Linux
Licence : Creative Commons Attribution-ShareAlike

Algobox est un logiciel qui permet de débuter avec les élèves en algorithmique. Les instructions sont en français. Le code de l'algorithme se construit pas à pas de façon hiérarchique et structurée grâce à des instructions de base que l'on insère en cliquant sur les boutons de l'interface.
Utiliser Algobox en ligne (sans installation) avec Proglab
O.S. : Windows, Mac, Linux
Licence : GPL

BlocksCAD allie mathématiques (solides et transformations du plan) et technologie (impression 3D).
Il permet de construire des formes 3D remarquables !
Utilisation uniquement en ligne

Beetle Blocks permet de réaliser des constructions 3D à l'aide d'algorithmes sous forme de blocs à emboîter.
Utilisation en ligne uniquement

 Python avec Capytale Service numérique pédagogique proposé par l'académie de Versailles et permettant la création et le partage d'activités de codage en Python entre enseignants et élèves.
Utilisation en ligne uniquement via l'ENT de l'établissement

 Python avec EduPython L'académie d'Amiens vous propose une distribution clé en main, EduPython et portable pour programmer avec vos élèves sous un environnement Python 3. Il vous suffit de télécharger et d'exécuter ce programme et de choisir l'emplacement où vous voulez le décompresser : edupython.tuxfamily.org
O.S. : Windows
Licence : GPL

Scilab intègre des centaines de fonctions mathématiques, un langage de programmation de haut niveau, des graphiques 2D et 3D, des structures de données avancées et des types de données définis par l'utilisateur.
"Scilab pour les lycées" contient un module complémentaire dédié pour les lycées. 55 fonctions sont ainsi disponibles pour le travail en classe (analyse, arithmétique, ensembles, graphique, probabilités et statistiques, etc.).
O.S. : Windows, Mac, Linux
Licence : GPL

Xcas est le couteau suisse du prof de maths. Il permet de faire du calcul formel, de la géométrie dynamique (dans le plan ou dans l'espace), du tableur et bien sûr de la programmation.
Xcas est également utilisable en ligne.
O.S. : Windows, Mac, Linux
Licence : GPL