most citedAlgorithms for discovering and proving theorems about permutation patterns

6 citations · 6 across the 1 of their papers we have counts for

collaborators

1 paper

math.CO2012★ 6 cited

Algorithms for discovering and proving theorems about permutation patterns

Hjalti Magnusson, Henning Ulfarsson

We present an algorithm, called BiSC, that describes the patterns avoided by a given set of permutations. It automatically conjectures the statements of known theorems such as the…