All Categories → No Category → discrete-mathematics

Top 8 discrete-mathematics open source projects

Awesome-Math-Learning

📜 Collection of the most awesome Math learning resources in the form of notes, videos and cheatsheets.

Pythonic package for combinatorics

✭ 51

python math scientific-computing discrete-mathematics permutation combinatorics

Introduction-to-Discrete-Mathematics-for-Computer-Science-Specialization

[Coursera] Introduction to Discrete Mathematics for Computer Science Specialization

✭ 71

Jupyter Notebook cryptography probability coursera discrete-mathematics graph-theory combinatorics number-theory coursera-discrete-mathematics

Computational algebraic number theory

✭ 142

julia math computer-algebra discrete-mathematics number-theory algebraic-number-theory class-field-theory

discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

✭ 98

Jupyter Notebook snippets algorithms logic probability mathematics coursera recursion discrete-mathematics recursive combinatorics ilp invariants bayes sat-solver proofs induction sat ilp-solver

Functional teaching language for use in a discrete mathematics course

✭ 132

haskell TeX Agda functional-programming teaching discrete-mathematics

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

✭ 38

Coq coq discrete-mathematics formal-proofs primitive-recursive-functions ordinal-notations docker-coq-action hydra-battles coq-nix-toolbox

My notes are about everything related to programming.

✭ 104

redux nodejs css git testing graphql docker computer-science elasticsearch encoding browser database rest architecture design-patterns discrete-mathematics bundling architectural-patterns

1-8 of 8 discrete-mathematics projects