Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.

Theorems, Definitions, Papers, Research

Implementations of Fundamental Algorithms & Data Structures in C++.

🌐 Theorems that rule this multiverse

Another attempt for visualizing proofs

Radon Transform(Sinogram) of Image for Openframeworks.

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.

Run ATPs from SystemOnTPTP

A collection of simple C++ Programs involving the Design and Analysis of Algorithms.

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

Separating Axis Theorem

Visualizing mathematical theorem relationships using graphs

A simple theorem prover made for a university programming assignment

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

Proving the infinite monkey theorem.

A manual for using Bayes theorem to think with probabilities in everyday life.

Find new theorems in elementary geometry by observing distances between intersections of diagonals of a regular polygon

Beauty

The theorem of computer science theory