Aller au contenu
FR
Traduit en français
EN
Laboratoire
Recherche
Enseignements
Nous Rejoindre
Ouvrir la recherche
Fermer
Formulaire de recherche
Rechercher
Saisir un ou plusieurs mots-clés…
Rechercher sur tout le site
Menu
FR
Traduit en français
EN
Fermer
Formulaire de recherche
Rechercher
Saisir un ou plusieurs mots-clés…
Rechercher sur tout le site
Laboratoire
Laboratoire
Présentation
Soutien et support à la recherche
Un laboratoire engagé et responsable
Annuaire
Actualités
Accès
Recherche
Recherche
Départements et équipes
Départements et équipes
Algorithmes, Apprentissage et Calcul
Science des Données
Interaction avec l’Humain
Mécanique des fluides – Energétique
Sciences et Technologies des Langues
Publications scientifiques
Actions transversales
Actions transversales
Apprentissage Profond pour la physique et Physique pour l’apprentissage
Arts et sciences
Recherche responsable
SHS et Sciences du numérique
Visualisation et exploration de grosses masses de données
Enseignements
Enseignements
Masters
Ecoles doctorales
Graduate Schools
Nous Rejoindre
Nous Rejoindre
Concours Chercheurs / Enseignants-Chercheurs
Offres de thèses
Offres de stage
Accueil
...
Corpus et logiciels
Algebraic combinatorics in Coq
Imprimer cette page
Exporter la page au format PDF (1.5Mo environ)
Envoyer à un ami
Partager
Facebook
LinkedIn
Twitter
Logiciel
Algebraic combinatorics in Coq
Coq-Combi
Mis a jour le :
11-25-2022
Florent Hivert
En developpement
GPL-3.0
Plus d'infos
Précédent
Retour à la liste
Suivant
Retour en haut
