Florent Hivert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2010–2026
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Certifying the Decidability of the Word Problem in Monoids at Large. | Reinis Cirpons, Florent Hivert, Assia Mahboubi, Guillaume Melquiond, James D. Mitchell, Finn Smith |
| 2025 | CPP | Machine Checked Proofs and Programs in Algebraic Combinatorics. | Florent Hivert |
| 2017 | ISSAC | High Performance Computing Experiments in Enumerative and Algebraic Combinatorics. | Florent Hivert |
| 2010 | AISC | Formal Proof of SCHUR Conjugate Function. | Franck Butelle, Florent Hivert, Micaela Mayero, Frdric Toumazet |