Welcome to Nicolas' home
Résumé
Ce document essaye de faire une synthèse de la discussion qui s’est engagée à l’automne 2001, en particulier sur la liste de diffusion calcul-formel-libre@math.cnrs.fr, à propos du calcul formel et des logiciels libres.
Je (Nicolas Thiéry) ne fait que maintenir cette page web ; le document ci-dessous a été écrit par plusieurs participants de la liste de diffusion calcul-formel-libre@math.cnrs.fr. Vous pouvez en consulter les archives sur : http://www.math.cnrs.fr/archives/logiciels-formels/.
De tous temps, le développement de la science fondamentale a été étroitement lié au droit et à la possibilité d’échanger librement des connaissances.
Les méthodes commerciales de développement logiciel, créent un clivage : d’un côté les développeurs, en très petit nombre, de l’autre les utilisateurs, beaucoup plus nombreux, mais qui n’ont pas accès au contenu intime de la technologie. Le développement de logiciels libres de calcul permet de remettre tous les individus à égalité. Ceci peut ouvrir la voie à un travail collaboratif élargi, répondre à des impératifs de formation, permettre la réutilisation de partie de codes pour d’autres projets, etc.
Ce projet a pour objectif de créer les conditions permettant le développement de logiciels libres dans le domaine du calcul formel (création et/ou adaptation, évolution, maintenance, diffusion) et de contribuer plus généralement à une plateforme de calcul scientifique libre.
Pour prouver des résultats scientifiques ou pour illustrer ces résultats, il peut être nécessaire de recourir à des calculs sur ordinateur. Lorsque l’on utilise à cet effet un logiciel dont le code source n’est pas disponible (ce qui est le cas des logiciels commerciaux en général), on est à la merci d’une erreur ou de l’oubli d’un cas particulier de l’auteur ou de l’éditeur du logiciel, sans pouvoir le vérifier. La rigueur scientifique exige dans ce cas de faire la preuve avec un logiciel dont les sources sont disponibles , voire modifiables (ce qui est le cas habituel des logiciels libres).
D’autre part, la recherche dans le domaine de l’algorithmique est directement liée aux progrès des logiciels de calcul scientifique. Prenons l’exemple du calcul formel. Le mode de diffusion habituel de nouveaux algorithmes, par le biais d’articles dans des revues scientifiques avec comité de lecture, est lent et ne permet souvent qu’une diffusion confidentielle. Il est aussi possible de diffuser ses résultats scientifiques par le biais d’archives électroniques de prépublications accessibles à tous (mais alors sans validation scientifique du contenu). Un nouveau mode de diffusion très utile pourrait être l’inclusion des algorithmes dans un logiciel de calcul formel libre ouvert et largement diffusé. Ceci permettrait aussi une évaluation plus objective des performances et de l’impact pratique des différents algorithmes proposés.
Le contrôle de l’information numérique par des entités commerciales se pratique de différentes manières :
Lorsqu’une seule entité commerciale contrôle l’information dans son domaine par une des méthodes ci-dessus, elle est en situation de monopole et peut fixer les prix de ses services de manière arbitraire.
On constate à l’heure actuelle une baisse des coûts liés à l’achat des ordinateurs, malgré le fait qu’ils deviennent toujours plus performants, et une augmentation des coûts logiciels qui deviennent une part de dépense de plus en plus prédominante. Par exemple, une licence individuelle Maple coûte actuellement plus cher que l’ordinateur sur lequel le produit est installé. Cette question devient un problème majeur dans le financement des laboratoires de recherche et des institutions d’enseignement.
Examinons la situation en mathématique.
La situation des documents numériques en mathématique est satisfaisante puisque le format le plus utilisé, LATEX, est libre, ce qui facilite les échanges et garantit la pérennité de ces documents. Il est probable que la généralisation du format de stockage XML permettra de plus aux moteurs de recherche de travailler sur des documents scientifiques, qui pourront devenir de véritables documents hypertextes.
Par contre, la diffusion des résultats scientifiques est faite par des éditeurs qui contrôlent le copyright des documents publiés aux dépens de la communauté mathématique qui fait pourtant la part la plus importante du travail (création, édition, référé) tout cela sans véritable contrepartie (ce qui est d’ailleurs contraire au droit d’auteur au moins en France). Les éditeurs pratiquent des hausses de prix constantes. Un détournement notable des ressources publiques pour la recherche s’opère ainsi au profit des éditeurs.
La situation n’est pas favorable non plus dans l’utilisation de logiciels de calcul en mathématiques : il n’y a pas de standard commun donc peu d’interopérabilité, et pas de logiciel libre bien diffusé. Le produit de référence est parfois un logiciel commercial, comme Maple pour le calcul formel dans l’enseignement. La communauté scientifique fait la part initiale du travail (recherche des algorithmes, implantation dans un langage de logiciel commercial) mais ce sont les éditeurs de logiciels commerciaux qui le valorisent à leur seul bénéfice. La hausse récente des prix de licence de logiciels commerciaux est à mettre en parallèle avec la hausse des prix des revues. Il faudrait donc encourager l’utilisation de logiciels libres ce qui est possible comme le montre la standardisation autour du format LATEX.
Pour toutes ces raisons, il est indispensable de disposer de logiciels libres dans tous les domaines du calcul scientifique, en particulier le calcul formel.
Le but du projet est de contribuer dans le domaine du calcul formel à une plate-forme scientifique entièrement libre, et dans laquelle les chercheurs pourraient mettre leurs résultats les plus récents à la libre disposition de tous.
Le projet comporte plusieurs aspectsă :
Un comité s’est constitué en décembre 2001 afin d’organiser des journées de rencontre, en mai 2002, où seront présentés des projets passés et existants, y compris des projets réalisés dans d’autres domaines scientifiques, et où seront discutées les modalités pratiques du projet global vient de se constituer. Ce comité est composé de Daniel Duparc, Bernard Mourrain, Bernard Parisse, Bernard Perrot, Fabrice Rouillier, Marie-Francoise Roy, Nicolas Thiéry, Paul Zimmermann. Il s’est réuni pour la première fois le 5 mars au LIP6, et sera dissout, ou renouvelé démocratiquement par les participants à l’issue des journées.
Sans préjuger des conclusions de ces journées, il sera très probablement indispensable :
Lieu : Université Lyon I, Domaine de Gerland
Date : mardi 21 - jeudi 23 mai 2002
Annonce : http://www.lapcs.univ-lyon1.fr/~nthiery/CalculFormelLibre/workshop.html
Lieu : Hyères (VVF de Giens)
Date : lundi 16 - vendredi 20 septembre 2002
Annonce : http://www-sop.inria.fr/galaad/conf/ecole02.html
Ceci est un premier jet qui essaye de lister les besoins des différents types d’utilisateurs du calcul formel.
Welcome to Nicolas' home