induction

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

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

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.

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

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

High power induction heating platform

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

Open Inverter - Alternative Web Interface

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

MIRROR of http://gitlab.com/hkex/emagpy Python API and GUI to invert frequency domain electromagnetic data

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

Simple two-dimensional geophysical inversion for permafrost and ground ice detection using electromagnetic methods.

Depth-Bounded PCFG Induction

Nuclear Physics is a mod that brings in realistic, world-based technological advancement experience into Minecraft.

ATtiny13 based PI (Pulse Induction) Metal Detector

A VLF induction balance metal detector with a wooden body

A PTS Supporting Induction

Normalizing Flow for PCFG induction

Standard library for [Imandra](https://imandra.ai)