CADO-NFS est une implémentation complète en C/C++ du crible algébrique
(NFS) pour la factorisation d'entiers. CADO-NFS contient divers programmes
correspondant à toutes les étapes de l'algorithme, et un script général qui
les lance, si possible en parallèle sur un grands nombres de machines.
À partir de la version 2.0, des fonctionnalités pour calculer des
logarithmes discrets dans les corps finis sont disponibles.
CADO-NFS est distribué sous la Gnu Lesser General
Public License (LGPL) version 2.1 (ou toutes versions plus récentes).
Je suis l'un des auteurs principaux. J'ai contribué à l'étape de sélection
polynomiale et à l'étape de filtrage.
GMP-ECM
GMP-ECM est une implémentation de la méthode de Lenstra pour la
factorisation d'entiers à l'aide de courbes elliptiques. GMP-ECM fournit
une bibliothèque disponible sous la Gnu Lesser General Public Licence (LGPL)
version 3 et un binaire sous la Gnu General Public Licence (GPL) version 3.
Je suis l'auteur du code pour
GPU disponible dans les dernières versions.
ECMPI
ECMPI est une logiciel permettant la parallélisation via MPI de calculs
effectués avec la bibliothèque GMP-ECM.
Je suis l'auteur principal.
FFLAS-FFPACK
FFLAS-FFPACK est une bibliothèque sous licence LGPL-2.1+
implémentant les opérations de base de l'algèbre linéaire sur les corps
finis.
J'ai écrit du code pour la parallélisation de la routine fgemm pour les
corps utilisant la représentation RNS.