Implémentation du corps des (nombres) rationnels

From LRDE

Revision as of 17:06, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReportFR | authors = David Moreira | titre = Implémentation du corps des (nombres) rationnels | year = 2011 | number = 1107 | resume = Vaucanson est une plateforme de ma...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Résumé

Vaucanson est une plateforme de manipulation d'automates finis et de transducteurs dont l'interface s'est montrée trop complexe. Pendant les deux dernières années, des travaux ont été entrepris afin d'introduire le concept de kind d'un automate dans la bibliothèque. Aujourd'huiune partie de la nouvelle interface a été implementée et le travail sur le cœur a laissé Vaucanson 1.4 dans un état instable. Cette présentation montrera dans un premier temps le travail effectué pour Vaucanson 1.4puis sur les travaux entrepris afin de rendre stable Vaucanson 2.0.