INSENC: This package accompanies ”Finding regular insertion encodings for permutation classes”. In that paper you will find a description of the algorithm the package uses. It has been tested with Maple 11. What INSENC can do: If the class of permutations avoiding a particular set B of permutations has a regular insertion encoding (which INSENC will determine as soon as you type in B), then INSENC can compute the (necessarily rational) generating function for the class.

References in zbMATH (referenced in 14 articles , 1 standard article )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Homberger, Cheyne; Vatter, Vincent: On the effective and automatic enumeration of polynomial permutation classes (2016)
  2. Mansour, Toufik; Schork, Matthias: Wilf classification of subsets of four letter patterns (2016)
  3. Vatter, Vincent: Finding regular insertion encodings for permutation classes (2012)
  4. Vatter, Vincent: Small permutation classes (2011)
  5. Bassino, Frédérique; Bouvel, Mathilde; Pierrot, Adeline; Rossin Dominique: Deciding the finiteness of the number of simple permutations contained in a wreath-closed class is polynomial (2010)
  6. Baxter, Andrew M.: Refining enumeration schemes to count according to the inversion number (2010)
  7. Bouvel, Mathilde; Pergola, Elisa: Posets and permutations in the duplication-loss model: minimal permutations with $d$ descents (2010)
  8. Pudwell, Lara: Enumeration schemes for words avoiding permutations (2010)
  9. Pudwell, Lara: Enumeration schemes for permutations avoiding barred patterns (2010)
  10. Bernini, Antonio; Ferrari, Luca; Pinzani, Renzo: Enumeration of some classes of words avoiding two generalized patterns of length three (2009)
  11. Pudwell, Lara: Enumeration schemes for words avoiding patterns with repeated letters (2008)
  12. Billey, Sara C.; Jones, Brant C.: Embedded factor patterns for Deodhar elements in Kazhdan-Lusztig theory. (2007)
  13. Losonczy, Jozsef: Maximally clustered elements and Schubert varieties. (2007)
  14. Vatter, Vincent: Finitely labeled generating trees and restricted permutations (2006)