Projet ANR EVA-Flo : Evaluation et Validation Automatique pour le calcul Flottant
réunions Arenaire 2009-2010
Calendrier des réunions de travail Arenaire, 2007-2008
Ces réunions accueillent un sous-groupe de l'équipe Arenaire, pour
des raisons d'efficacité. Les participants sont, par ordre alphabétique :
Florent de Dinechin, Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Vincent Lefèvre, Nicolas Louvet, David Pfannholzer, Nathalie Revol, Philippe Théveny, Gilles Villard.
D'autres ont participé lors de leur séjour dans l'équipe :
Nicolas Jourdan, Christoph Lauter, Guillaume Revy.
- 4 juin 2010 Philippe Théveny explains the links and communication between Sollya and LEMA
- 12 mai 2010 article pour PLMMS 2010 : modifications suite aux rapports
- 11 mai 2010 article pour PLMMS 2010 : modifications suite aux rapports
- 13 avril 2010 article pour PLMMS 2010 (fin)
- 9 avril 2010 préparation de l'article pour PLMMS 2010
- 26 mars 2010 préparation du résumé pour PLMMS 2010
- 12 mars 2010 préparation du résumé pour PLMMS 2010
- 05 mars 2010 Philippe Théveny explains the links and communication between Gappa and LEMA
- 26 février 2010 Vincent Lefèvre on Hierarchical
Approximation of a Function by Polynomials in LEMA
- 12 février 2010 formats and representation for floating-point numbers
- 05 février 2010 Philippe Théveny gives a gentle introduction to LEMA
- 29 janvier 2010 réflexion prospective sur le langage de commande et l'orchestration des outils utilisant LEMA
- 22 janvier 2010 réflexion prospective sur le langage de commande et l'orchestration des outils utilisant LEMA
- 18 décembre 2009 fonctions piecewise en MathML (suite et fin)
- 12 décembre 2009 suite et fin ; discussion sur les fonctions piecewise en MathML
- 04 décembre 2009 implantations en cours, par Philippe Théveny
Synthèse et comptes rendus de nos travaux
Retour à la page générale du projet EVA-Flo
