Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Baxmc est un outil permettant de résoudre des problèmes d'optimisation combinatoire en utilisant des techniques avancées telles que l'analyse de symétries et la génération de clauses et de permutations. Il peut être utilisé de différentes manières, y compris via Docker ou Nix, et est open source sous licence CeCILL-B.
- SpaSM est une bibliothèque logicielle dédiée à l'élimination gaussienne directe modulo un petit nombre premier _p_. Elle est disponible sous la licence publique générale GNU version 3 ou ultérieure (GPLv3+). Cette bibliothèque permet de calculer la forme échelonnée réduite d'une matrice sparse modulo un petit nombre premier, ce qui permet à son tour de calculer la base du noyau, la base du sous-espace généré par les lignes, le rang et la forme échelonnée réduite de _A*Q_, pour une matrice Q permutation.
6 initiatives
10