Algorithms for discovering and proving theorems about permutation patterns (Q6237613)

From MaRDI portal





scientific article; zbMATH DE number 900152137
Language Label Description Also known as
default for all languages
No label defined
    English
    Algorithms for discovering and proving theorems about permutation patterns
    scientific article; zbMATH DE number 900152137

      Statements

      29 November 2012
      0 references
      math.CO
      0 references
      cs.DM
      0 references
      cs.DS
      0 references
      cs.MS
      0 references
      0 references
      0 references

      Identifiers