theorem
There are 1 repository under theorem topic.
lean-dojo / LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
Language:Python 110gabrieldim / Probability-And-Statistics
Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.
Language:R 105prashant-raghu / Algorithms-Data-Structures
Implementations of Fundamental Algorithms & Data Structures in C++.
Language:C++ 13- Language:Agda 11
francoisschwarzentruber / prooffold
Another attempt for visualizing proofs
Language:JavaScript 10bemoregt / gpRadonTransform
Radon Transform(Sinogram) of Image for Openframeworks.
Language:Makefile 9rljacobson / WAM
Let's write an automated theorem prover! A series of increasingly sophisticated automated theorem provers realized as Prolog-like language implementations using Warren's Abstract Machine.
Language:Rust 7- Language:Haskell 6
DeepthiTabithaBennet / DesignAndAnalysisOfAlgorithms
A collection of simple C++ Programs involving the Design and Analysis of Algorithms.
Language:C++ 5ElsevierSoftwareX / SOFTX-D-21-00156
Python code that implement the Buckingham-Pi theorem for different variables and return all possible dimensionless pi terms. To cite this Original Software Publication: https://www.sciencedirect.com/science/article/pii/S2352711021001291
Language:Jupyter Notebook 4enjeck / theorem-graphs
Visualizing mathematical theorem relationships using graphs
Language:JavaScript 4georgejkaye / theorem-prover
A simple theorem prover made for a university programming assignment
Language:Java 4leondejong / js-sat
Separating Axis Theorem
Language:JavaScript 4- Language:TypeScript 3
kaist-cp / view-hw
Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
Language:Coq 3Phantom8015 / infinite-monkey-theorem
Proving the infinite monkey theorem.
Language:JavaScript 3eigenbooks / bayes-missing-manual
A manual for using Bayes theorem to think with probabilities in everyday life.
Language:Jupyter Notebook 2- Language:C++ 1
federicomor / rand-thm
Random picker of a theorem from a set of theorems.
Language:Julia 1kovzol / RegularNGons
Find new theorems in elementary geometry by observing distances between intersections of diagonals of a regular polygon
Language:HTML 1- BloatedMath
LorenzoBloedow / BloatedMath
Extensive TypeScript Math Library.
Language:TypeScript 1 - Language:Agda 1
Asher73 / 5_Teorema_Pitagoras
App que realiza el teorema de pitagoras
Language:Kotlin 0- Language:OCaml 0
macarthuror / 4-color-theorem
Description and examples of what's the 4 Color Theorem
Language:HTML 0SandokanSaruhan / Master-Theory-Math
This is a simple App about Complexity Theory in computer science by enlightening of @Nayuki.
Language:JavaScript 0- 0
- Language:Python
BrunoSupremo / infinite_monkey
A site for playing with the infinite monkey theorem
Language:JavaScriptCollision Detection
Language:JavaScriptmr-ravin / theorem10
This repository includes a computer program for a mathematical theorem paper titled "A theorem on numbers of the form 10^x"
Language:Python- Language:TeX
- Theorem_Proof
sourceduty / Theorem_Proof
🧮 Mathematical theorem proving assistant.
vcwild / infsim
Simulation of normal distribution random variables and quick overview investigation of the exponential distribution and comparison with the Central Limit Theorem.
