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 15 articles , 1 standard article )

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

  1. Bean, Christian; Gudmundsson, Bjarki; Ulfarsson, Henning: Automatic discovery of structural rules of permutation classes (2019)
  2. Homberger, Cheyne; Vatter, Vincent: On the effective and automatic enumeration of polynomial permutation classes (2016)
  3. Mansour, Toufik; Schork, Matthias: Wilf classification of subsets of four letter patterns (2016)
  4. Vatter, Vincent: Finding regular insertion encodings for permutation classes (2012)
  5. Vatter, Vincent: Small permutation classes (2011)
  6. 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)
  7. Baxter, Andrew M.: Refining enumeration schemes to count according to the inversion number (2010)
  8. Bouvel, Mathilde; Pergola, Elisa: Posets and permutations in the duplication-loss model: minimal permutations with (d) descents (2010)
  9. Pudwell, Lara: Enumeration schemes for words avoiding permutations (2010)
  10. Pudwell, Lara: Enumeration schemes for permutations avoiding barred patterns (2010)
  11. Bernini, Antonio; Ferrari, Luca; Pinzani, Renzo: Enumeration of some classes of words avoiding two generalized patterns of length three (2009)
  12. Pudwell, Lara: Enumeration schemes for words avoiding patterns with repeated letters (2008)
  13. Billey, Sara C.; Jones, Brant C.: Embedded factor patterns for Deodhar elements in Kazhdan-Lusztig theory. (2007)
  14. Losonczy, Jozsef: Maximally clustered elements and Schubert varieties. (2007)
  15. Vatter, Vincent: Finitely labeled generating trees and restricted permutations (2006)