Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel FM
FM - FM: the Fourier-Motzkin library
Date de dernière version : 30 octobre 2008

Responsable : BASTOUL Cédric

FM is a library dedicated to manipulating Q-polyhedra, and especially those representing the projection of a given system of inequalities. The projection is computed with an improved version of the Fourier-Motzkin algorithm. The library offers features such as: (1) A redundancy-controlled C implementation of the Fourier-Motzkin projection algorithm. (2) A lexicographic min/max computation (for Q and Z polyhedra). (3) A lot of auxiliary functions to manipulate Q-polyhedra.

Pour en savoir plus:

Logiciel - Licence : LGPL

Activités de recherche

  POUCHET Louis-Noel

  Systèmes Parallèles

Logiciels et brevets
The Smarties Input System

Static analyzer for dynamics of Automata Networks

Semantic Annotation Using Population of Ontology and Definition of Classes