theorem
There are 47 repositories 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.
OrangeX4/typst-theorion
Out-of-the-box, customizable and multilingual theorem environment package for Typst.
TIGER-AI-Lab/TheoremQA
The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
chakravala/Math-Research-Notes
Theorems, Definitions, Papers, Research
prashant-raghu/Algorithms-Data-Structures
Implementations of Fundamental Algorithms & Data Structures in C++.
francoisschwarzentruber/prooffold
Another attempt for visualizing proofs
ice1k/Theorems
:globe_with_meridians: Theorems that rule this multiverse
bemoregt/gpRadonTransform
Radon Transform(Sinogram) of Image for Openframeworks.
rljacobson/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.
jonaprieto/online-atps
Run ATPs from SystemOnTPTP
Phantom8015/infinite-monkey-theorem
Proving the infinite monkey theorem.
DeepthiTabithaBennet/DesignAndAnalysisOfAlgorithms
A collection of simple C++ Programs involving the Design and Analysis of Algorithms.
ElsevierSoftwareX/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
georgejkaye/theorem-prover
A simple theorem prover made for a university programming assignment
leondejong/js-sat
Separating Axis Theorem
enjeck/theorem-graphs
Visualizing mathematical theorem relationships using graphs
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)
eigenbooks/bayes-missing-manual
A manual for using Bayes theorem to think with probabilities in everyday life.
Tina-1300/pythagore
allows you to solve the Pythagorean theorem in Python
casm-lang/libtptp
Thousands of Problems for Theorem Provers Library
federicomor/rand-thm
Random picker of a theorem from a set of theorems.
kovzol/RegularNGons
Find new theorems in elementary geometry by observing distances between intersections of diagonals of a regular polygon
LorenzoBloedow/BloatedMath
Extensive TypeScript Math Library.
MateusMolina/custom-amsthm-environments
Quarto extension for defining custom amsthm environments.
MattiaOldani/The-useless-theorem
Il teorema più inutile dopo l'ultimo teorema di Fermat
mlyean/agda-extras
Extra stuff (mostly math) for Agda.
quantumomics/Beauty
Beauty
spamegg1/spamegg1-thm-prov-lean4
Working through Theorem Proving in Lean4
Supreme-YS/Theorem
The theorem of computer science theory
BrunoSupremo/infinite_monkey
A site for playing with the infinite monkey theorem
KanhaVarshney1/SimSci
verification of thevenins theorem
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型の素数構成と分布密度の評価を通じて、ラマヌジャン素数の定理性を統合的に導出。仮想空間検証済みの証明構成を含みます。
Monklimonk/BusyBeaver-1-
Fully verified Coq proof for the one-state Busy Beaver machine — a minimal example of formal halting verification.
pjeternecaj/Theorem
Pjeter Necaj THEOREM ( Teorema Pjetër Neçaj )