Florent Hivert

According to our database, Florent Hivert authored at least 19 papers between 2001 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Certifying the Decidability of the Word Problem in Monoids at Large.

Reinis Cirpons, Florent Hivert, Assia Mahboubi, Guillaume Melquiond, James D. Mitchell, Finn Smith

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2025

Minimal generating sets for matrix monoids.

Florent Hivert, James D. Mitchell, F. L. Smith, Wilf A. Wilson

J. Symb. Comput., 2025

Machine Checked Proofs and Programs in Algebraic Combinatorics.

Florent Hivert

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

Controlling the C3 Super Class Linearization Algorithm for Large Hierarchies of Classes.

Florent Hivert, Nicolas M. Thiéry

Order, April, 2024

Power Quotients of Plactic-like Monoids.

Antoine Abram, Florent Hivert, James D. Mitchell, Jean-Christophe Novelli, Maria Tsalakou

Proceedings of the 13th edition of the conference on Random Generation of Combinatorial Structures. Polyominoes and Tilings, 2024

2021

Non-ambiguous trees: New results and generalisation.

Jean-Christophe Aval, Adrien Boussicault, Bérénice Delcroix-Oger, Florent Hivert, Patxi Laborde-Zubieta

Eur. J. Comb., 2021

Non-ambiguous trees: new results and generalisation (Full version).

Bérénice Delcroix-Oger, Florent Hivert, Patxi Laborde-Zubieta, Jean-Christophe Aval, Adrien Boussicault

CoRR, 2021

2017

High Performance Computing Experiments in Enumerative and Algebraic Combinatorics.

Florent Hivert

Proceedings of the International Workshop on Parallel Symbolic Computation, 2017

2016

Exploring the tree of numerical semigroups.

Jean Fromentin, Florent Hivert

Math. Comput., 2016

2010

Inversion of some series of free quasi-symmetric functions.

Florent Hivert, Jean-Christophe Novelli, Jean-Yves Thibon

Eur. J. Comb., 2010

Formal Proof of SCHUR Conjugate Function.

Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Hecke group algebras as quotients of affine Hecke algebras at level 0.

Florent Hivert, Anne Schilling, Nicolas M. Thiéry

J. Comb. Theory A, 2009

2008

Trees, functional equations, and combinatorial Hopf algebras.

Florent Hivert, Jean-Christophe Novelli, Jean-Yves Thibon

Eur. J. Comb., 2008

2005

The algebra of binary search trees.

Florent Hivert, Jean-Christophe Novelli, Jean-Yves Thibon

Theor. Comput. Sci., 2005

2004

The peak algebra and the Hecke-Clifford algebras at <i>q</i>=0.

Nantel Bergeron, Florent Hivert, Jean-Yves Thibon

J. Comb. Theory A, 2004

2002

Noncommutative Symmetric Functions Vi: Free Quasi-Symmetric Functions and Related Algebras.

Gérard Duchamp, Florent Hivert, Jean-Yves Thibon

Int. J. Algebra Comput., 2002

2001

Approximation of a Direction of Nd in Bounded Coordinates.

Jean-Christophe Novelli, Gilles Schaeffer, Florent Hivert

Mob. Networks Appl., 2001

The Chinese Monoid.

Julien Cassaigne, Marc Espie, Daniel Krob, Jean-Christophe Novelli, Florent Hivert

Int. J. Algebra Comput., 2001

Pseudo-Permutations II: Geometry and Representation Theory.

François Boulier, Florent Hivert, Daniel Krob, Jean-Christophe Novelli

Proceedings of the Discrete Models: Combinatorics, Computation, and Geometry, 2001