theorems
Here are 21 public repositories matching this topic...
Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.
-
Updated
May 5, 2021 - R
Theorems, Definitions, Papers, Research
-
Updated
Jul 3, 2019 - TeX
Calculus Guide
-
Updated
Sep 5, 2021
A detailed explanation of one of the most important results in the history of math.
-
Updated
Feb 6, 2021 - HTML
Statement - theorems and statement support in Pandoc's markdown
-
Updated
Dec 22, 2022 - Lua
Theorems and Definitions from Sections 1.1, 1.2, 1.3, 1.4, 1.5, 1.7, 1.8, 1.9, 2.1, 2.2, 2.3, 2.8, 2.9, 3.1, 3.2, 5.1, 5.2, 5.3, 4.1, 4.2, 4.3, and 4.4. The textbook used is Linear Algebra and its Applications (5th Edition) by David C. Lay, Judi J. McDonald, and Steven R. Lay.
-
Updated
Aug 2, 2020
A formalisation of Solèr's theorem using the Isabelle proof assistant
-
Updated
Feb 12, 2023 - Isabelle
This is a collection of proofs for some mathematical theorems.
-
Updated
Aug 26, 2022 - TeX
A proof of the Pigeonhole principle. The Pigeonhole principle is a fundamental theorem that is used widely in Computer Science and Combinatorics, it asserts that if you put n things into m containers, and n > m, then at least one of the containers contains more than one thing.
-
Updated
Feb 13, 2019 - Makefile
A twitter bot that decides whether a formula is an intuitionistic validity and tweets the result.
-
Updated
Jun 2, 2021 - Python
codes from theorems in the field of stochastic processes
-
Updated
Aug 2, 2020 - MATLAB
Recolección de teoría, teoremas y demostraciones
-
Updated
Sep 12, 2017 - TeX
Dies ist die eigenständige, (immens) verbesserte und polierte Variante des Box-Mechanismus des Lilly-Frameworks.
-
Updated
Apr 22, 2022 - TeX
This repository consists of all the useful animations related to theorems and other stuff in maths (of 1st year). We are using a software called "manim" for this purpose.
-
Updated
May 4, 2020 - Python
Visualizing mathematical theorem relationships using graphs
-
Updated
Nov 28, 2021 - JavaScript
[Informatica - Basi di Dati 1] Forum di scambio e confronto di soluzioni a esercizi e prove d'esame passate
-
Updated
Sep 24, 2024
UChicago Honors Calculus (IBL) Theorem Dependency Map
-
Updated
Jun 11, 2017 - HTML
Improve this page
Add a description, image, and links to the theorems topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theorems topic, visit your repo's landing page and select "manage topics."