induction
Here are 61 public repositories matching this topic...
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
-
Updated
Jan 16, 2024 - Jupyter Notebook
Graph Sampling is a python package containing various approaches which samples the original graph according to different sample sizes.
-
Updated
Dec 4, 2020 - Python
High power induction heating platform
-
Updated
Sep 26, 2018 - C
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
-
Updated
Sep 6, 2023 - TeX
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.
-
Updated
Mar 20, 2024 - OCaml
Open Inverter - Alternative Web Interface
-
Updated
Dec 13, 2021 - JavaScript
MIRROR of http://gitlab.com/hkex/emagpy Python API and GUI to invert frequency domain electromagnetic data
-
Updated
Apr 24, 2024 - Jupyter Notebook
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
-
Updated
May 23, 2024 - Kotlin
Nuclear Physics is a mod that brings in realistic, world-based technological advancement experience into Minecraft.
-
Updated
Jun 18, 2020 - Java
Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans
-
Updated
Jun 15, 2018 - Prolog
Code and slides for my talk presented at the seminar.
-
Updated
Mar 14, 2022 - TeX
(Migrated from CodePlex) View-plug-ins Programming on database is an interface-oriented to simplify the design of complex batches processing. Useful for ETL, reporting and DWH solutions.
-
Updated
Jun 22, 2017 - PLSQL
My proofs for the Coq proof assistant
-
Updated
Aug 23, 2021 - Coq
Simple two-dimensional geophysical inversion for permafrost and ground ice detection using electromagnetic methods.
-
Updated
Dec 5, 2022 - MATLAB
Upper-division Combinatorics Class
-
Updated
Oct 22, 2019 - TeX
Improve this page
Add a description, image, and links to the induction topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the induction topic, visit your repo's landing page and select "manage topics."