Out-of-the-box, customizable and multilingual theorem environment package for Typst.

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

The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)

LaTeX package for automatically putting proof environments in appendix

Collection of tools to extract semantic information from (mathematical) research articles

Theorems, Definitions, Papers, Research

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

Another attempt for visualizing proofs

🌐 Theorems that rule this multiverse

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 simple theorem prover made for a university programming assignment

Open Access Publications on Mathematics and Computer Science (https://amlal.nekernel.org)

Separating Axis Theorem

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

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

LaTeX Navigator and Structure Summariser

Visualizing mathematical theorem relationships using graphs