Re: [EDUC] Re: [EDUC] Logiciels libres au Palais de la découverte

[Florent Viard <fviard AT gmail.com>]

Bonjour,

Etant le departement de mathematique, ils seraient peut etre
interessés aussi par une rapide presentation d'outils libres
réellement utilisable par les scientifiques, tels que octave et R. Et
je pensais surtout comme exemple tres comprehensible par le grand
public du palais de la découverte: Coq le logiciel de preuve de
demonstration mathematique qui est sous LGPL:
http://coq.inria.fr/what-is-coq

++
Flo

On 5/27/10, pyg <pyg AT framasoft.net> wrote:
> 2010/5/27 Georges Khaznadar <georges.khaznadar AT free.fr>:
>> Bonjour,
>>
>> Yves Combe a écrit :
>>> Une présentation de la ClefAgreg, distribution LiveCD et surtout
>>> LiveUSB de logiciels libres pour l'agrégation de Mathématiques,
>>> pourrait peut-être le faire? Il y a dedans les classiques pour les
>>> maths, java, camllight...
>>
>> j'ai sous la main un environnement qui permet de produire à façon une
>> clé USB personnalisée, ou customisée pour les amateurs de tuningue, de
>> façon interactive avec une interface graphique valide. Ça permet
>> d'assembler tous les composants qu'on veut depuis un dépôt Debian, et le
>> résultat boote en 30 secondes environ (base µKnoppix).
>>
>>
>> Ça peut être intéressant pour ce projet ? si oui, on continue à en
>> parler.
>>
>> Amitiés,                        Georges.
>>
>
> Bonjour,
>
> Georges, as-tu un lien vers ce projet ?
> Tu en avais déjà parlé et j'avais laissé passé cette info qui me
> parait pourtant bien intéressante :)
>
> Sinon, pour info :
> - j'ai dans mes cartons une clé éducation - qu'il faudrait un peu
> fignoler, raison pour laquelle je n'ai jamais publié - basée sur le
> projet réalisé avec AbulEdu  qui a comme particularité d'être
> Windows/Linux
> <http://www.framablog.org/index.php/post/2009/09/29/framakey-abuledu-ryxeo-grippe-h1n1>.
> Mais bon, pas certain que ça intéresse le palais de la découverte...
> (un http://www.framadvd.org éducation est aussi planifié, peut être
> pour la rentrée)
> - étant à la fois partie prenante de Framasoft.net et de Plume
> <http://www.projet-plume.org/equipe-plume>, je me tiens à la
> disposition de François pour parler de tout ça (on se croise ce WE à
> l'Ubuntu-party ?)
>
> PY
>
>