Philippe Trebuchet

INRIA Projet SPACES / LIP6

tel: 01 44 27 75 41 (Bureau) / 06 23 49 60 17 (Portable)

MacRev :

MacRev est mon logiciel de résolution de systèmes polynomiaux multivariés.

Distribution de Binaires
Code source GPL+runtime exeption disponible sur simple demande
Ecrit en C++ ~50000 lignes
Une Démo se trouve ici.

Je le distribue sous forme de binaires indépendants pour que les utilisateurs qui ne disposent pas d'une version assez récente de compilateur C++ puissent tout de meme utiliser mon code.

On peut trouver des explications plus détaillées dans le RR-122104 ecrit pour le projet Européen ECG.

MPAI :

MPAI est une bibliothèque de calcul avec infinitésimaux.

Distribution de code source
Licence GPL
Ecrite en C89 ~1200 lignes

Les infinitésimaux sont représentés dans MPAI sous forme de série de Laurent tronquées. Cette bibliothèque est écrite en C89 est compatible avec n'importe quel type pour le corps de base dont l'interface reprend celle de gmp.

SYNAPS :

SYNAPS est une bibliothèque active dédiée au calcul symbolique et numérique

Distribution de code source
Licence GPL+runtime exception
Ecrite en C++ ~100000 lignes
Son site
Des demos sont ici

J'en suis co-auteur avec B. Mourrain.

J'ai contribue au design de SYNAPS, j'y ai aussi rajouté plusieurs fonctions telles que une décomposition LU basée sur l'algorithme de SuperLU, j'ai aussi porté à la mode template plusieurs fonctions de LAPACK. Finallement j'ai contribué une implantation des algorithmes de ma thèse sur la résolution de systèmes polynomiaux multivariés.

Maintenant j'assure une partie de la maintenance de SYNAPS.