Go to content
EN
Translated to English
FR
Laboratory
Research
Cross-cutting actions
Teaching and Training
Join us
Open search
Close
Search form
Search
Enter one or more keywords…
Search entire site
Menu
EN
Translated to English
FR
Close
Search form
Search
Enter one or more keywords…
Search entire site
Laboratory
Laboratory
The Laboratory
Research support and assistance
News
Directory
Access to the LISN
Research
Research
Algorithms, Learning and Computation
Algorithms, Learning and Computation
Learning and Optimization
Graphs, Algorithms and Combinatorics (GALaC)
Data Science
Interaction with Human
Interaction with Human
Cognition Perception and Uses (CPU)
Mécanics – Energetics
Language Sciences and Technologies
Cross-cutting actions
Teaching and Training
Teaching and Training
Masters
Doctoral schools
Join us
Home
...
Corpus and software
Algebraic combinatorics in Coq
Print this page
Export this page in PDF format (around 1.5MB)
Send to a friend
Share
Facebook
LinkedIn
Twitter
Logiciel
Algebraic combinatorics in Coq
Coq-Combi
Updated :
11-25-2022
Florent Hivert
En developpement
GPL-3.0
More informations
Previous
Back to list
Next
Back to top
