On l'a appris ce matin, l'inventeur de la cohomologie étale est parti rejoindre Karol Dionizy Buczynski ce 13 novembre. Adieu l'ami…
Journal Alexandre Grothendieck est bronsonisé
14
nov.
2014
GNU Dr. Geo 14.10
21
sept.
2014
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 14.08
20
août
2014
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.
Journal Médailles Fields en vue
12
août
2014
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-1.0: Dessiner des scènes en utilisant des objets mathématiques!
4
juil.
2014
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.
GNU Dr. Geo 14.07
1
juil.
2014
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.
Nouveauté
- Portage vers le canevas graphique Athens de Pharo
Suivi — Feuilles de style (CSS) Modification CSS pour avoir les images inline
10
fév.
2014
(réécrite et réaffectée suite à une purge de compte)
Avoir les images en inline ?
.content img { display: inline; }Suivi — Syntaxe markdown Affichage des formules mathématiques
23
déc.
2011
En rédigeant la dépêche sur IPython 0.12 je me suis dis que si l'interface web du logiciel qui utilise markdown peut afficher des formules mathématiques comme LaTeX, je me suis dis que ça pouvait être le cas ici aussi.
Reste à savoir s'il existe des gems Ruby pour intégrer MathML.
Journal Mathématiques du vote
12
fév.
2014
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 (…)
Dr. Geo 13.06
23
juin
2013
Dr. Geo 13.06 est une application multiplate‐forme — PC, Mac et tablettes — de géométrie euclidienne interactive, mais aussi de programmation.
Outre son aspect classique de géométrie interactive, Dr. Geo permet de produire des figures interactives sous forme de scripts Smalltalk. Il est également modifiable depuis lui‐même.
Les nouvelles fonctions et les corrections de bogues sont listées en seconde partie.
Journal P=NP démontré ?
30
mai
2013
Xinwen Jiang a publié sur le site de la Cornell University un papier nommé «A Polynomial Time Algorithm for the Hamilton Circuit Problem» qui impliquerait que P=NP est vrai.
«In this paper, we introduce a so-called Multistage graph Simple Path (MSP) problem and show that the Hamilton Circuit (HC) problem can be polynomially reducible to the MSP problem. To solve the MSP problem, we propose a polynomial algorithm and prove its NP-completeness. Our result implies NP=P.»
Pour mémoire le lien (…)
Agrégation et logiciels libres
16
juin
2013
L'agrégation de Mathématiques évolue doucement mais nettement. Pour la session 2015, seuls des logiciels libres seront proposés aux candidats au concours externe lors des épreuves orales. Le concours interne évolue lui aussi dans le même sens.
Les deux concours se passent depuis plusieurs années sur ClefAgreg dans sa version 8.0, clef «live» fondée sur Debian, personnalisable et proposant différents logiciels libres dont bien sûr ceux non propriétaires utilisés à l'agrégation.
NdM : voir aussi les dépêches précédentes en 2012, 2011, 2010, 2009, 2008 et 2007.
Dr. Geo 13.04
2
avr.
2013
Dr. Geo 13.04 est un environnement multiplateforme de géométrie euclidienne interactive et de programmation.
Outre son aspect classique de géométrie interactive, Dr. Geo est scriptable et modifiable depuis lui même.
Il est distribué sous la forme d'une application portable universelle. Les nouvelles fonctions et les bugs corrigés sont listés en seconde partie.
Quelques applications scientifiques sur Android
1
jan.
2013
L'avantage des smartphones et tablettes, c'est que l'on peut les avoir sur soi, encore plus que les netbooks. Ci-dessous quelques exemples d'applications en rapport avec les sciences.
Ces applications sont disponibles sur le dépôt f-droid, car elles sont libres.
Journal Chantonnons en récursion
22
nov.
2012
Dernièrement, je parlais, avec une connaissance (ça me change de parler tout seul), du très célèbre Yusuf Islam. De cette conversation, l'envie de ré-écouter un peu de sa musique m'a prise à la gorge et je me suis décidé à acheter, légalement, sur iTunes (si ce lien a la couleur d'un lien déjà visité, ne bougez pas, la police arrive) , quelques un de ses grands tubes.
Au détour de la chanson "Can't keep it in", j'entends (…)