KamaTzviot a Maple package for deriving generating functions for chromatic polynomials of sequences of grid graphs, and much more general creatures. It accompanies the article ”Automatic generation of theorems and proofs on enumerating consecutive-Wilf classes” by Shalosh B. Ekhad, Jocelyn Quaintance, and Doron Zeilberger .
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Baxter, Andrew; Nakamura, Brian; Zeilberger, Doron: Automatic generation of theorems and proofs on enumerating consecutive-Wilf classes (2013)
- Ehrenborg, Richard; Jung, Jiyoon: Descent pattern avoidance (2012)
- Elizalde, Sergi; Noy, Marc: Clusters, generating functions and asymptotics for consecutive patterns in permutations (2012)