Andrey O. Matveev's Projects
A flyer. Preview of books. Corrigenda
A Haskell DistinguishedSymmetricCyclesModule.hs module exporting a few functions that describe a `computation-free' decomposition of a vertex of a hypercube graph with respect to its distinguished symmetric cycle. Based on Proposition 5.9 of the monograph A.O. Matveev, Symmetric Cycles, Jenny Stanford Publishing, 2023.
A Clojure namespace, and Haskell and Python modules, exporting a dozen of functions coded after several selected formulas presented in Farey Sequences: Duality and Maps Between Subsequences, by A.O. Matveev, De Gruyter, 2017.
A Haskell HittingSetModule.hs module exporting a function that finds the lexicographically minimal blocking set, of minimum cardinality, of a family of sets of integers. In the spirit of Theorem 9.12(ii) and Example 9.13 from the monograph A.O. Matveev, Symmetric Cycles, Jenny Stanford Publishing, 2023.
A sandbox for experiments with applications of Proposition 5.9 from the monograph A.O. Matveev, Symmetric Cycles, Singapore: Jenny Stanford Publishing, 2023.
A Haskell module exporting five functions that implement enumeration mechanisms described in Theorem 6.4 from the monograph A.O. Matveev, Symmetric Cycles, Jenny Stanford Publishing, 2023, and illustrated in Example 6.5.
A Haskell SmirnovWordsModule.hs module exporting six functions for calculating the numbers of Smirnov words over three-letter and four-letter alphabets. Based on Appendix A of the monograph A.O. Matveev, Symmetric Cycles, Jenny Stanford Publishing, 2023.
A Haskell module exporting functions that implement enumeration mechanisms described in Theorems 7.5, 7.7, 7.9 and 7.11 from the monograph A.O. Matveev, Symmetric Cycles, Jenny Stanford Publishing, 2023, and illustrated in Examples 7.6, 7.8, 7.10 and 7.12.