Florent Hivert hivert

Organizations

Pinned Loading

1. Fast combinatorics in C++ using SSE/AVX instruction sets

   C++ 19 8

2. Computing the number of Numerical Monoid of a Given Genus

   Sage 2 3

3. Algebraic Combinatorics in Coq

   Rocq Prover 38 8

5. Formal power series in mathomp

   Coq 3 4