A computational way to study discrete mathematics using Haskell

Cryptography in Haskell.

This repository contains research and tools for a paper in progress: "Deriving Sequence Generation Functions via Sequence Derivatives."

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.

Storage for my Functional Programming work as part of my DMFP module

Solutions to the book Discrete Maths using a Computer

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 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.

113-1-離散數學-黃于飛

This is the project for the discrete mathematics class CSC281