Le Frido est un livre de mathématique libre du niveau de l’agrégation. Fort d’un peu plus de 1 600 pages, il couvre la quasi entièreté du programme. Ce cours de mathématique est libre au sens de la licence FDL, et ses sources LaTeX sont sur GitHub depuis le début du projet.

Malinux Télé est un Raspberry Pi dans une boîte en bois, connecté à un écran de télévision. Ce petit ordinateur embarque de nombreux logiciels éducatifs libres, une encyclopédie pour enfants, des jeux interactifs pour l'apprentissage de la lecture dans la langue maternelle principale des enfants du Mali, le bambara. Il est construit pour rendre accessible l’informatique éducative aux enfants en difficulté accueillis par des associations au Mali. Bilou Toguna propose une aide technique aux associations qui voudraient adapter et traduire cet outil éducatif dans d'autres pays.

De nouvelles solutions techniques sont expérimentées : un portage sur linux-sunxi, pour installer Malinux Télé sur des tablettes ARM (processeurs Allwinner) à bas coût, une personnalisation de Xubuntu pour PC, construite sur ce modèle ainsi qu'un DVD avec des installeurs et manuel pour les salles informatiques sous Windows.

Dr. Geo est un environnement libre de géométrie interactive et de programmation. Il est aussi bien destiné à un public jeune de l'école primaire ou du secondaire I, qu'à des plus grands pour expérimenter la géométrie et/ou la programmation. Il est propulsé par l'environnement de développement dynamique Pharo, supporté par l'INRIA/RMOD.

MathMod (anciennement K3DSurf) est un logiciel libre (sous licence GPL v3) de modélisation et de manipulation des objets mathématiques décrits par des équations implicites ou paramétriques. MathMod permet de manipuler les objets mathématiques 3D et 4D en les animant d’un mouvement de rotation ou de déformation. Il permet aussi de changer leur propriétés visuelles, calculer leurs intersections en temps réel et exporter le résultat final sous différents formats de fichiers. MathMod est développé avec Qt5/C++, il est disponible pour GNU/Linux, Windows et Mac OS X.

Dr. Geo est un environnement entièrement libre de géométrie interactive et de programmation. Il est développé avec Pharo, environnement et langage de programmation porté par l'INRIA.

Dr. Geo est un logiciel libre de géométrie dynamique et de programmation. Il est utilisable de l'école primaire au lycée, voire au delà.

Ce qui est particulier avec Dr. Geo c'est sa dimension programmation utilisateur très présente : écriture de script comme objet de code intégré dans un canevas, description d'une figure euclidienne avec un code et enfin modification de Dr. Geo depuis lui-même.

À noter : l'ensemble de Dr. Geo est sous licence libre, y compris les fichiers de traductions et les icônes de l'interface utilisateur.

Le 29 mai dernier, GNU a sorti une nouvelle version de son logiciel Octave, près de 8 ans après la précédente v3. GNU Octave est un logiciel libre de calcul numérique, dont le langage accepte de nombreuses constructions de la bibliothèque standard du C, qui peuvent être étendues sur Unix, et propose l'usage de fonctions écrites en C++. Il peut fonctionner avec les nombres réels et les nombres complexes. Des fonctionnalités de tracés graphiques sont directement intégrées au langage.

La version 4.0, version majeure, apporte une liste impressionnante de nouveautés : interface graphique, programmation orientée-objet, meilleure compatibilité avec Matlab, nouvelles fonctionnalités, ré-écriture de fonctions, …

GNU Octave est comparable à MATLAB, et dispose d'une syntaxe très proche. Il présente une sérieuse alternative, largement utilisée. Octave est écrit en C++, et dispose d’un moteur intégré de rendu graphique (basé sur OpenGL).

Comme annoncé dans la dépêche de 2013, cette année les concours de recrutement des professeurs agrégés de mathématiques (agrégation interne et externe de Mathématiques) n'utilisent plus que des logiciels libres.

Depuis quelques années, les concours se passent sur ClefAgreg, une clef USB « live » téléchargeable et autonome, fonctionnant désormais indifféremment sur PC ou sur Mac (intel). Cette clef autonome peut se personnaliser via l'ajout d'extensions (images sqh dans les faits). Elle a notamment été la source de la clef ISN, distribuée aux enseignants lors de la création de l'option Informatique et Sciences du Numérique dans les classes de Terminale scientifique..

Fonctionnant d'abord sur des machines Windows / Linux avec 4 logiciels dont 3 propriétaires, l'agrégation externe aura donc abandonné Windows en 2007 puis les logiciels propriétaires en 2015. Il est possible de télécharger une clef reproduisant l'environnement depuis 2007. L'agrégation interne a introduit l'utilisation de logiciels vers 2010 et le concours se déroule depuis lors sur ClefAgreg.

MathMod est un logiciel de dessin de formules mathématiques, qu'elles soient sous forme implicite ou paramétrique (de dimension 3 ou 4).
La version 3.1 apporte de nouvelles fonctionnalités, principalement au niveau de l’utilisation des textures 3D et des effets de turbulences : les textures 3D permettent de définir des palettes de couleurs en utilisant des équations mathématiques, alors que les effets de turbulence déforment les résultats de ces équations, ce qui leur donne un aspect plus naturel et moins monotone.

AbulÉdu est une suite logicielle destinée à équiper les écoles. Créée en 1998, cette suite est maintenant utilisée sur un parc de 2.500 serveurs installés et environ 50.000 utilisateurs. Sous licence GPL, la suite est supportée par Ryxéo, garantissant sa pérennité et assurant son support sans nécessiter la présence d'un geek sur place.

La suite logicielle AbulÉdu est complétée par des ressources éducatives libres (Le Terrier, Pédagosite, …) élaborées principalement par des enseignants. Ces ressources ainsi que que les logiciels doivent être périodiquement réactualisés. C'est l'objet de cette nouvelle version.

Dr. Geo est un studio de géométrie interactive et de programmation. À l'image des logiciels classiques de géométrie dynamique, il permet de créer des figures géométriques à la souris. En revanche, dans sa dimension programmation, une figure géométrique est décrite à l'aide d'une API sous la forme d'un code informatique.

Avec cette dernière fonctionnalité, des modèles informatiques ou des simulations sont créés dans un canevas de géométrie interactive, voir par exemple l'article en lien du Problème des 3 portes.
Enfin dernier point, Dr. Geo est auto-modifiable (modify-me-ready) : l'utilisateur peut modifier Dr. Geo depuis lui même et le redistribuer.

iStoa est un logiciel pour GNU/Linux proposant des activités mathématiques, le niveau scolaire visé est pour l'instant celui de CP. Le projet est en phase active de développement et propose actuellement une vingtaine de séries d'exercices, le corpus s'étoffe petit à petit pour couvrir à terme toute l'année de CP, puis les suivantes.

Le projet reprend un travail de 2008. Toute la partie modélisation et suivi de l'apprenant est pour le moment mise en veille pour se focaliser sur l'aspect graphique et l'interactivité des activités.

Toutes les activités suivent un même modus operandi : l'apprenant a droit à 3 essais pour résoudre un exercice, iStoa montre les erreurs puis l'utilisateur peut les corriger. En dernier recours, le logiciel corrige l'exercice pour l'apprenant.

Le score de l'utilisateur se construit en regard de son taux de réussite aux activités, il lui est présenté graphiquement sous la forme de médailles, coupes et couronnes, à l'image des performances des sportifs aux jeux olympiques. Enfin le logiciel est multi-utilisateur : nom, avatar, historique des activités et score sont sauvegardés.

NdM : Hilaire Fernandes n'en est pas à son coup d'essai, puisqu'il a déjà écrit l'excellent Dr Geo, logiciel pour l'apprentissage interactif de la géométrie.