GdT programmation / séminaire IRILL / séminaire APRRSS

Le langage Leibniz pour le calcul scientifique


24/11/2016
Intervenant(s) : 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
 Mentions légales
Carte du site |