Implementations of Fundamental Algorithms & Data Structures in C++.
-
Updated
Oct 26, 2023 - C++
Implementations of Fundamental Algorithms & Data Structures in C++.
ChatGPT plugin for theorem proving in Lean
Random vectors: marginal and conditional distributions. Normal, t-distribution, Chi-square and F-distribution... AND A LOT MORE.
Another attempt for visualizing proofs
🌐 Theorems that rule this multiverse
A manual for using Bayes theorem to think with probabilities in everyday life.
Radon Transform(Sinogram) of Image for Openframeworks.
Collision Detection
A simple theorem prover made for a university programming assignment
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
App que realiza el teorema de pitagoras
This is a simple App about Complexity Theory in computer science by enlightening of @nayuki.
Extensive TypeScript Math Library.
🧮 Mathematical theorem proving assistant.
Add a description, image, and links to the theorem topic page so that developers can more easily learn about it.
To associate your repository with the theorem topic, visit your repo's landing page and select "manage topics."