5 results found Sort:

alexanderskulikov
discrete-math-python-scripts alexanderskulikov
113
294
unknown
10
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
bayes logic graphs python python3 induction recursion algorithms enumeration mathematics probability cryptography combinatorics number-theory graph-algorithms dynamic-programming discrete-mathematics combinatorics-and-probability
Created 2020-07-03
54 commits to master branch, last one 4 months ago
sneeuwballen
zipperposition sneeuwballen
19
122
bsd-2-clause
10
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, claus...
cnf logic ocaml prover induction prototype rewriting saturation experimental polymorphism superposition symbolic-computation computer-science-algorithms
Created 2012-08-15
6,728 commits to master branch, last one 3 months ago
spamegg1
Math-for-CS-solutions spamegg1
22
116
other
2
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
math sets graph logic proofs calculus counting solution functions induction set-theory probability graph-theory random-walks number-theory computer-science rsa-cryptography
Created 2022-06-03
62 commits to master branch, last one 8 months ago
breandan
galoisenne breandan
8
106
apache-2.0
6
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
graph graphs kotlin parsing automata induction graph-theory finite-fields graph-grammars graph-matching linear-algebra adjacency-matrix graph-algorithms functional-graphs arithmetic-circuits finite-state-machine graph-transformation graph-visualizations
Created 2020-03-05
1,761 commits to master branch, last one 6 days ago
data61
PSL data61
9
63
other
9
This repository has no description...
hol itp psl proof isabelle induction conjecture proof-search formal-proofs formal-methods proof-assistant machine-learning proof-strategies formal-verification artificial-intelligence domain-specific-language interactive-theorem-proving
Created 2016-08-10
1,538 commits to master branch, last one 5 months ago