SDS-BBLs - Bibliothèques de Primitives pour SDS
SDS-BBLs est une offre de bibliothèques de primitives, ou fonctions de base, pour notre plateforme SDS. 1. Caractéristiques-clés 2. Distributions 3. Cas d’utilisation 4. Tarifs 1. Caractéristiques-clés Les bibliothèques disponibles à date concernent : L’algèbre linéaire et l’algèbre multilinéaire. La programmation de type Prolog. Les bibliothèques en cours de développement concernent : Le calcul de séquents (intuitionniste ou linéaire). 2.