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.

On l'a appris ce matin, l'inventeur de la cohomologie étale est parti rejoindre Karol Dionizy Buczynski ce 13 novembre. Adieu l'ami…
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.


Demain seront annoncés au congrès international des mathématiciens de Séoul, les récipiendaires de la très prestigieuse médaille Fields.
Entre deux et quatre chercheurs sont ainsi distingués tous les 4 ans, ce qui fait de la médaille Fields une récompense bien plus rare qu'un prix Nobel. Elle est considéré comme la récompense ultime pour les mathématiciens (qui doivent avoir moins de 40 ans pour être éligibles).
Ce qui distingue cette édition c'est que les rumeurs indiquent pour la première (…)
MathMod est un logiciel de dessin de formules mathématiques, qu'elles soient sous forme implicite ou paramétrique (de dimension 3 ou 4).
MathMod est une réécriture du logiciel K3DSurf, dont la dernière version date de 2008 et dont je suis aussi l'auteur. Cette réécriture apporte tout de même son lot de nouveautés et d'optimisation de traitement des formules mathématiques. MathMod permet d'animer les objets mathématiques, par rotation ou en utilisant le paramètre temps, de changer les propriétés visuelles de l'objet en temps réel… Développé avec Qt5, il est disponible pour Linux, Windows et MacOSX.
Finalement, je tiens à remercier tous ceux et celles qui m'ont soutenu durant toutes ces années par leurs messages de félicitations et d'encouragement et je leur dis : l'aventure ne fait que commencer !
Une description plus détaillée et des copies d'écran sont disponibles en deuxième partie.
NdM: Le logiciel est sous licence GPL2.
Dr. Geo 14.07 est un environnement de géométrie interactive et de programmation. De par ses capacités de programmation et d'introspection, il s'adresse aux esprits curieux souhaitant explorer des situations originales de géométrie euclidienne.
Il est livré sous la forme d'une application portable universelle pour GNU/Linux, Mac OS X et Windows.
Son interface simple et intuitive le rend aussi accessible aux enseignants et élèves de l'école primaire et du collège.
Un atelier sur GDL, Eigen et Yorick se tiendra au CIAS à l'Observatoire de Paris, campus de Meudon (bâtiment 9), du mardi 10 au vendredi 13 juin 2014. L'accès est libre mais, pour des raisons d'organisation interne (cafés, repas, mise à jour du programme…), il est recommandé de se manifester.
Programme :
GDL (Gnu Data Langague) est un clone libre du langage interprété IDL largement utilise en astronomie professionnelle. Eigen est une bibliothèque en C++ d'algèbre linéaire. Yorick est un autre langage interprété, utilisé notamment sur certains instruments du VLT.
En novembre 2013 s'est tenue une conférence intitulée "Démocratie, dictature… et mathématiques" au Musée des Arts et Métiers.
Des coeurs de démocrates se sont brisés à l'issue de l'exposé lorsque les deux conférenciers ont révélé qu'il n'existait pas de bon système de vote.
Mais qu'est-ce qu'un bon système de vote?
On peut en avoir une idée ici en regardant une petite vidéo en flash avec un son horriblement compressé, ou en écoutant cette émission de RFI
L'exposé est très (…)
(réécrite et réaffectée suite à une purge de compte)
Avoir les images en inline ?
.content img { display: inline; }