Hopf Algebras
Kauri implements six Hopf algebras on rooted trees: the Butcher–Connes–Kreimer algebra (BCK Hopf Algebra), the Calaque–Ebrahimi-Fard–Manchon extraction-contraction algebra (CEM Hopf Algebra), and the Grossman–Larson algebra (Grossman–Larson Hopf Algebra) for non-planar trees, together with their planar (ordered) counterparts NCK Hopf Algebra, Planar Grossman–Larson Hopf Algebra, and the Munthe-Kaas–Wright algebra (MKW Hopf Algebra).