GdT programmation / séminaire IRILL / séminaire APR

RSS

Le langage Leibniz pour le calcul scientifique

Jeudi 24 novembre 2016
Konrad Hinsen (CNRS, Orléans)

Il y a de plus en plus de modèles scientifiques qui intègrent des algorithmes. Les langages informels, y compris la notation mathématique traditionnelle, se sont montrés insuffisants pour les représenter, ce qui a mené à leur disparition des publications scientifiques. Souvent ces modèles existent uniquement sous forme de logiciels de simulation, dont le code source est rarement lisible pour ses utilisateurs.
Le langage Leibniz est une notation scientifique numérique, conçue spécifiquement pour la représentation de modèles scientifiques dans les articles scientifiques et dans les spécifications des logiciels de calcul. Il se situe à mi-chemin entre les notations informelles traditionnelles, optimisées au cours des siècles pour la communication humaine, et les langages de programmation adaptés aux besoins du développement logiciel.


Plus d'informations ici …
Emmanuel.Chailloux (at) nulllip6.fr