Des logiciels libres dans les programmes de mathématiques du lycée

Posté par  . Modéré par tuiu pol.
21
26
juin
2009
Éducation
L’Inspection Générale de mathématiques vient de publier un projet de document ressource pour le lycée, portant sur l’algorithmique, notion qui fera son apparition dans les nouveaux programmes de seconde. Ce document doit servir à guider les professeurs dans l'application du programme.

Il est à noter que, sur les sept logiciels et environnements de programmation dont il est fait mention, six sont libres :

Kidimath : le soutien en mathématiques par Sésamath

Posté par  . Modéré par patrick_g.
Étiquettes :
7
30
mai
2009
Éducation
Après les cahiers d'exercices de mathématiques libres et ses manuels scolaires sous licence FDL, l'association Sésamath lance un nouveau projet/portail qui ouvre ses portes le 30 mai 2009 : Kidimath.

Libre d'accès, sans publicité, gratuit et ouvert à tous, ce site propose un soutien en mathématiques pour tous les niveaux du collège (6ème à 3ème du système éducatif français).

Des révisions de la leçon aux exercices en passant par les devoirs corrigés, Kidimath offre aux élèves (et à leurs parents) la possibilité de travailler les mathématiques autrement. La vidéo est fournie au format ouvert et libre Ogg/Theora [5,3 Mo], sous licence libre CC-by-sa, via blip.tv et le Framablog s'est entretenu avec Sésamath.

Journal trois quatorze quinze quatre-vingt-douze soixante-cinq trente-cinq

Posté par  (site web personnel) .
Étiquettes :
5
14
mar.
2009
Que j'aime à faire apprendre un nombre utile aux sages ;-)

Eh oui, aujourd'hui le 3/14 en notation américaine, c'est la Journee_de_pi cf. http://piday.org/
Non, pas la propriété intellectuelle mais bien le nombre transcendant qui apparaît dans cette jolie équation mêlant aussi l'imaginaire l'unité et le fameux 0, chers à notre base 2 préférée :

e^iπ + 1 = 0

Vous aussi, vous avez des formules préférées pour ce genre de jour ? :D
Je me rappelle encore 3.1415926535893238264338 appris (…)

GnoFract 4D - Générateur de Fractale

Posté par  (site web personnel) . Modéré par patrick_g.
16
16
déc.
2008
Science
GnoFract 4D est un logiciel générateur avancé de jolies images appelées Fractales, basé sur Gnome.

GnoFract 4D dessine les ensembles de Mandelbrot, de Julia et beaucoup plus encore, y compris Fractint, UltraFractal et vos propres formules faites sur commande.

Il est facile à utiliser, avec une interface agréable, très rapide, très flexible et propose un rendu en 24 bits.
Bref, un logiciel à connaître, j'ai personnellement été surpris de la galerie et je voulais faire connaître ce très bel outil libre (licence BSD).

Une nouvelle version vient de sortir le 14 décembre 2008 qui est la 3.10 qui corrige quelques bugs.

Journal Scilab 5.0.2

Posté par  .
Étiquettes :
13
31
oct.
2008

Je m'attendais à voir ici-bas une dépêche ou un journal annonçant la sortie de Scilab 5 qui est sorti le 12 septembre. Je m'y colle donc, mais sous la forme d'un journal parce que je pense qu'une dépêche pourrait être plus exhaustive sur le sujet.

Tout d'abord, qu'est-ce que Scilab ? Il s'agit d'une alternative au très populaire et très propriétaire Matlab. Matlab et Scilab sont des langages et des environnements spécialisés pour le calcul numérique. Il existe également GNU (…)

Journal G'MIC : Un nouvel outil libre de manipulation d'images

Posté par  (site web personnel) .
0
17
août
2008
Je voudrais vous présenter G'MIC, un nouvel outil libre de manipulation d'images en ligne de commande. C'est la suite logique d'INRCAST que je vous avais présenté il n'y a pas si longtemps dans ce journal. INRCAST avait des limitations dans sa structure même, qui le rendait un peu fouilli à utiliser (un tas d'options éparses pas toujours intuitives à se rappeler).

Pendant ces vacances, je me suis donc attelé à la tâche et j'ai tout réécrit "from scratch". (…)

Calcul scientifique : Scilab 5 enfin libre

Posté par  (site web personnel) . Modéré par Mouns.
0
30
mai
2008
Science
La version 5.0bêta2 du logiciel de calcul scientifique Scilab est publiée, et enfin sous une licence libre (la CeCill). La version finale 5.0 doit sortir courant juin. Mais on peut désormais intégrer Scilab dans les distributions de logiciels libres sans états-d'âme. On se souvient des nombreux débats parfois houleux ayant opposé les tenants de la communauté du Logiciel Libre aux promoteurs du projet, sur la nature "open source" de ce logiciel, par ailleurs une excellente solution de calcul scientifique, alternative au logiciel propriétaire Matlab, leader du secteur.

L'annonce a été faite lors du 2ème séminaire du Groupe Thématique Logiciel Libre du pôle de compétitivité System@tic.

NdM : nous avons souvent par le passé ajouté des NdM sur les dépêches évoquant Scilab, concernant sa licence. Il nous semble donc adéquat aujourd'hui de nous réjouir de ce passage sous une licence de logiciel libre et remercier l'INRIA d'avoir travaillé à la libération de son logiciel.

GNU Octave 3.0, l'alternative libre à Matlab

Posté par  . Modéré par Nÿco.
0
27
déc.
2007
Science
GNU Octave est un langage libre de haut niveau destiné principalement aux calculs numériques. La syntaxe vise à être aussi proche que possible du programme propriétaire Matlab. L'interpréteur est en ligne de commande, mais plusieurs interfaces et éditeurs chatoyants existent pour l'habiller.

Depuis la précédente version stable (la vieille 2.1), de nombreux progrès ont été effectués notamment dans les fonctions graphiques, basées sur GNUplot et JHandles. Les sources sont disponibles sous licence GPL, les distributions Linux mettent à jour leurs paquets (utilisez votre gestionnaire de paquet préféré) et des binaires sont téléchargeables pour Windows et Mac OS X sur SourceForge.

Des interfaces avec les langages C/C++ et Fortran permettent d'écrire assez simplement des extensions efficaces. De nombreuses boîtes à outils écrites par la communauté viennent étendre les fonctionnalités.

D'autres solutions open source existent, comme Scilab, moins compatible avec Matlab et dont la licence est restrictive (encore à ce jour), ou SciPy, extension du langage Python, profitant de sa syntaxe, mais non compatible avec Matlab.

Polices STIX, sources de Multics et Skype ajoute la vidéo sous Linux

Posté par  (site web personnel) . Modéré par rootix.
0
13
nov.
2007
Communauté
Les petites brèves de LinuxFR : trois nouvelles toutes simples, regroupées, qui n'auraient pas matière à être développées jusqu'à en faire une dépêche à part entière.
  • Polices STIX
  • Il aura fallu dix ans pour aboutir à la première version bêta des polices scientifiques libres STIX en UTF-8. Cela permet notamment de disposer de 8000 représentations graphiques (glyphes), utilisables pour MathML afin de représenter des formules mathématiques ou de physique. Le consortium STIX est constitué de plusieurs entités connues dans le milieu des publications scientifiques : l'American Institute of Physics, l'ACS, l'AMS, IEEE, Elsevier, l'APS.
    Merci à Maclag pour son journal sur STIX.
  • Sources de Multics
  • Multics, l'ancêtre d'Unix, OS désormais abandonné dont le dernier serveur en production a été éteint en 2000, a vu ses sources récemment publiées. Écrit en langage PL/1 en 1965 par le MIT, les laboratoires Bell et General Electric, il fut ensuite commercialisé par Honeywell dans les années 70, qui le revendit à Bull au milieu des années 80. Le site Multicians retrace l'histoire de ce système. Pour les plus courageux qui souhaiteraient compiler les sources, il existe un front-end PL/1 à Gcc: pl1gcc.
    Merci à fleny68 pour son journal sur Multics.
  • Skype ajoute la vidéo sous Linux
  • Skype, le logiciel P2P ultra-proprio de VoIP, a été publié en version 2.0 bêta sous Linux, et ajoute la vidéo, 2 ans après la version Windows.
    Merci à therealnicoco pour son journal sur cette bêta de skype intégrant la vidéo. La vidéo sous Linux est bien évidemment déjà présente sous des logiciels libres reposant sur des standards ouverts tels que Ekiga.

K3DSurf 0.6.2 : champion du calcul mathématique ?

Posté par  (site web personnel) . Modéré par j.
1
24
juin
2007
Éducation
K3Dsurf est un logiciel sous licence GPL qui permet la visualisation et la manipulation de modèles mathématiques dans l'espace de trois, quatre, cinq et six dimensions. K3DSurf supporte les équations paramétriques et les Isosurfaces.

La nouvelle version de K3DSurf v0.6.2 apporte beaucoup d'améliorations au niveau de l'interface graphique et du fonctionnement général du programme, mais la plus importante de ces fonctionnalités est certainement l'introduction d'une nouvelle technique de calcul mathématique : K3DSurf peut désormais prétendre au titre du logiciel de calcul mathématique le plus rapide !
En effet, l'amélioration du calcul est impressionnante et peut varier d'un facteur 1,5 à 5 en moyenne, selon le type et la complexité de la formule mathématique.

Journal Nombre de 307 chiffres factorisé

Posté par  (site web personnel) .
Étiquettes :
0
24
mai
2007
Une équipe de chercheurs de l'EPFL en Suisse, de NTT au Japon et de l'Université de Bonn en Allemagne a annoncé le 21 mai avoir factorisé un nombre de 307 chiffres (dans le cas présent, 1017 bits). Onze mois de calcul ont été nécessaires.

A noter qu'il ne s'agit pas d'un nombre du challenges RSA (dont le plus grand factorisé à ce jour est de 200 chiffres) mais d'un des facteurs du nombre de Mersenne 2^1039-1.

La factorisation a été (…)

K3DSurf 0.6.0 : Mise à jour majeure

Posté par  (site web personnel) . Modéré par Florent Zara.
0
29
nov.
2006
Éducation
K3DSurf est un programme sous licence GPL qui permet la visualisation et la manipulation de modèles mathématiques dans l'espace de trois, quatre, cinq et six dimensions. K3DSurf supporte les équations paramétriques et les Isosurfaces.

K3DSurf profitera désormais de l'accélération graphique matérielle de votre ordinateur et cela grâce a l'intégration d'un afficheur qui utilise la bibliothèque graphique OpenGL.

Cette mise à jour, majeure pour K3DSurf, introduit aussi une fonctionnalité assez rare dans les logiciels mathématiques : le morphing des isosurfaces en temps réel.

Ceci a été rendu possible grâce l'utilisation d'une technique d'affichage qui minimise le calcul CPU et qui fait travailler la carte graphique au maximum de ses capacités.

Journal Des équations en SVG

Posté par  .
Étiquettes :
0
8
nov.
2006
Ton rapport/compte-rendu/article/thèse est vide d'intêret, mais tu veut faire croire que tu as fait du bon travail ?

Pour cela tu veut faire des graphismes qui la pètent sous inkscape mais tu n'arrive pas à foutre ces put*£þ d'équations dans ton fichier ?

Il y a bien le module python “Formule Latex”, mais il échoue misérablement ?


J'ai la solution pour toi !

Tu va avoir besoin d'un peu de pstoedit, d'une pincée de skencil, de quelques grains de dvipdf (…)

Nouvelle version de K3DSurf, le modeleur de surfaces mathématiques

Posté par  (site web personnel) . Modéré par Florent Zara.
0
20
août
2006
Linux
K3DSurf est un logiciel de dessin et de manipulation de modèles mathématiques dans l'espace de trois, quatre, cinq et six dimensions. C'est aussi un "modeleur" pour Pov-Ray dans le domaine des objets mathématiques.
Une nouvelle version de K3DSurf vient de sortir (après huit mois de travail) avec comme principale nouveauté le support des isosurfaces.

Les isosurfaces sont très puissantes étant donné qu'elles permettent de décrire des objets mathématiques impossibles à représenter d'une façon paramétrique (la seule méthode utilisée jusqu'a la version 0.5.4). De plus, des formes complexes peuvent être dessinées avec relativement peu de fonctions mathématiques.

K3DSurf 0.5.4 : Des mathématiques au service de la création graphique

Posté par  (site web personnel) . Modéré par Jaimé Ragnagna.
Étiquettes :
0
5
jan.
2006
Technologie
K3DSurf est un logiciel de dessin et de manipulation de modèles mathématiques dans l'espace de trois, quatre, cinq et six dimensions. C'est aussi un "Modeleur" pour Pov-Ray dans le domaine des objets paramétriques.
K3DSurf a comme objectif de populariser l'utilisation des mathématiques à la fois comme un outil de création artistique, éducatif ou de recherche pour jeunes curieux et mathématiciens confirmés. C'est ainsi que K3DSurf est composé de plusieurs sections dont chacune s'intéresse a un aspect particulier du dessin des objets mathématiques.
A noter que K3DSurf, contrairement a la plupart des visualiseurs 3D, n'utilise pas la bibliothèque graphique OpenGL.

La version 0.5.4 apporte beaucoup de nouveautés notamment en ce qui concerne la "Modélisation des formes mathématiques 3D": Une nouvelle voie de modélisation de formes où tout objet créé doit être décrit par des équations mathématiques.