induction topic

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

spamegg1

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

Ashish7129

High power induction heating platform

ThingEngineer

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

alexanderskulikov

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

sneeuwballen

🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

breandan

Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans

msramalho

🧊 Інститут формальної математики

groupoid

Basics of face detection, share detailed steps and complete code in the learning process.

tomoncle

data61