Logiciels et Liens

Liste des projets logiciels, développés dans le cadre du projet MAGNUM :

Logiciel Description Contact(s) Disponibilité
Regal Génération aléatoire et exhaustive d’automates. Julien David Source
PSI2 Envelope Perfect Sampling of Non-Monotone Systems. Ana Busic Source
GenRGenS Génération aléatoire, uniforme et non-uniforme, de séquences génomiques structurées. Yann Ponty Source+Bin
Seed Easy-to-Use Random Generator of Recursive Data Structures for Testing. Cyril Nicaud Contacter l’auteur
Boltzmann Oracle Génération de Boltzmann effective, incluant un calcul automatisé de l’oracle. Carinne Pivoteau Contacter l’auteur(e)
Permutations Génération aléatoire de classes de permutations à motifs exclus. Dominique Rossin Contacter l’auteur
GenWalks Génération aléatoire uniforme de chemins unidimensionnels. Yann Ponty Demo (Source: Contacter l’auteur)

 

Au delà des limites du projet, quelques logiciels auquel nous participons ou utilisons :

  • AlgoLib : Notre couteau suisse d’analyse (semi-)automatique préféré, développé comme une librairie externe pour Maple à l’Inria Rocquencourt par Bruno Salvy, Frédéric Chyzak, Paul Zimmermann et bien d’autres …
  • Combstruct : Désormais inclus dans l’assistant Maple par défaut, une bibliothèque de manipulation d’objets combinatoires
  • SAGE et, en particulier, SAGE combinat : Futures alternatives à Maple pour des approches exploratoires effectives.
  • PermLab : Développé par Michael Albert, offre de nombreuses possibilités d’exploration et de test d’hypothèses sur des classes de permutations.

Leave a Reply