Codestin Search App

alexanderskulikov / discrete-math-python-scripts

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

python cryptography algorithms graph-algorithms graphs logic probability mathematics python3 recursion enumeration discrete-mathematics combinatorics dynamic-programming bayes induction number-theory combinatorics-and-probability

Updated Jul 20, 2025
Jupyter Notebook

alexanderskulikov / discrete-math-python-scripts

Star

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

python cryptography algorithms graph-algorithms graphs logic probability mathematics python3 recursion enumeration discrete-mathematics combinatorics dynamic-programming bayes induction number-theory combinatorics-and-probability

Updated Jul 20, 2025
Jupyter Notebook

spamegg1 / Math-for-CS-solutions

Star

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

computer-science calculus math graph solution functions logic probability set-theory graph-theory counting proofs induction rsa-cryptography number-theory sets random-walks

Updated Sep 2, 2024
TeX

spamegg1 / Math-for-CS-solutions

Star

Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

computer-science calculus math graph solution functions logic probability set-theory graph-theory counting proofs induction rsa-cryptography number-theory sets random-walks

Updated Sep 2, 2024
TeX

Ashish7129 / Graph_Sampling

Star

Graph Sampling is a python package containing various approaches which samples the original graph according to different sample sizes.

python sample data-mining big-data network graphs network-science networkx sampling network-analysis social-network-analysis breadth-first-search induction random-walk subgraph big-data-analytics

Updated Dec 4, 2020
Python

Ashish7129 / Graph_Sampling

Star

Graph Sampling is a python package containing various approaches which samples the original graph according to different sample sizes.

python sample data-mining big-data network graphs network-science networkx sampling network-analysis social-network-analysis breadth-first-search induction random-walk subgraph big-data-analytics

Updated Dec 4, 2020
Python

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

prototype experimental ocaml computer-science-algorithms logic polymorphism cnf superposition saturation induction symbolic-computation prover rewriting

Updated Oct 14, 2024
OCaml

sneeuwballen / zipperposition

Star

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.