theorem
There are 1 repository under theorem topic.
gabrieldim / Probability-And-Statistics
Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.
Language:R 105OrangeX4 / typst-theorion
Out-of-the-box, customizable and multilingual theorem environment package for Typst.
Language:Typst 90TIGER-AI-Lab / TheoremQA
The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
Language:Python 36chakravala / Math-Research-Notes
Theorems, Definitions, Papers, Research
Language:TeX 17prashant-raghu / Algorithms-Data-Structures
Implementations of Fundamental Algorithms & Data Structures in C++.
Language:C++ 13francoisschwarzentruber / prooffold
Another attempt for visualizing proofs
Language:JavaScript 12- Language:Agda 11
bemoregt / gpRadonTransform
Radon Transform(Sinogram) of Image for Openframeworks.
Language:Makefile 10rljacobson / 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
Phantom8015 / infinite-monkey-theorem
Proving the infinite monkey theorem.
Language:JavaScript 6DeepthiTabithaBennet / 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 5georgejkaye / theorem-prover
A simple theorem prover made for a university programming assignment
Language:Java 5leondejong / js-sat
Separating Axis Theorem
Language:JavaScript 5enjeck / theorem-graphs
Visualizing mathematical theorem relationships using graphs
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 3eigenbooks / bayes-missing-manual
A manual for using Bayes theorem to think with probabilities in everyday life.
Language:Jupyter Notebook 2- Language:Python 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 MateusMolina / custom-amsthm-environments
Quarto extension for defining custom amsthm environments.
Language:Python 1MattiaOldani / The-useless-theorem
Il teorema più inutile dopo l'ultimo teorema di Fermat
Language:Typst 1- Language:Agda 1
spamegg1 / spamegg1-thm-prov-lean4
Working through Theorem Proving in Lean4
Language:Lean 1BrunoSupremo / infinite_monkey
A site for playing with the infinite monkey theorem
Language:JavaScript- Language:HTML
Marouf-Haider / Cauchy-Goursat-Theorem
Formal proof of the Cauchy-Goursat Theorem in complex analysis, emphasizing clarity and geometric insight.
Mk9207 / Ramanujan-Prime-Constructive-Non-Constructive-Unified-Proof-
This repository presents a constructive and non-constructive unified proof of the Ramanujan prime theorem using 6n±1-based prime generation and density analysis. 構成的AIが6n±1型の素数構成と分布密度の評価を通じて、ラマヌジャン素数の定理性を統合的に導出。仮想空間検証済みの証明構成を含みます。
Language:TeXMonklimonk / BusyBeaver-1-
Fully verified Coq proof for the one-state Busy Beaver machine — a minimal example of formal halting verification.
Language:Rocq Proverpjeternecaj / Theorem
Pjeter Necaj THEOREM ( Teorema Pjetër Neçaj )
