gabrieldim/Probability-And-Statistics

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

Language: R - Size: 22.5 KB - Last synced at: 21 days ago - Pushed at: almost 4 years ago - Stars: 105 - Forks: 10

OrangeX4/typst-theorion

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

Language: Typst - Size: 2.16 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 52 - Forks: 5

chakravala/Math-Research-Notes

Theorems, Definitions, Papers, Research

Language: TeX - Size: 1.38 MB - Last synced at: 17 days ago - Pushed at: almost 6 years ago - Stars: 17 - Forks: 4

francoisschwarzentruber/prooffold

Another attempt for visualizing proofs

Language: JavaScript - Size: 1.4 MB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 12 - Forks: 4

prashant-raghu/Algorithms-Data-Structures

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

Language: C++ - Size: 43.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 13

ice1k/Theorems

:globe_with_meridians: Theorems that rule this multiverse

Language: Agda - Size: 76.2 KB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 11 - Forks: 2

bemoregt/gpRadonTransform

Radon Transform(Sinogram) of Image for Openframeworks.

Language: Makefile - Size: 7.07 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 9 - Forks: 1

jonaprieto/online-atps

Run ATPs from SystemOnTPTP

Language: Haskell - Size: 508 KB - Last synced at: 24 days ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 1

Phantom8015/infinite-monkey-theorem

Proving the infinite monkey theorem.

Language: JavaScript - Size: 2.93 KB - Last synced at: 23 days ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0

DeepthiTabithaBennet/DesignAndAnalysisOfAlgorithms

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

Language: C++ - Size: 29.3 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 0

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.

Language: Rust - Size: 360 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0

leondejong/js-sat

Separating Axis Theorem

Language: JavaScript - Size: 7.81 KB - Last synced at: 18 days ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

enjeck/theorem-graphs

Visualizing mathematical theorem relationships using graphs

Language: JavaScript - Size: 914 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

georgejkaye/theorem-prover

A simple theorem prover made for a university programming assignment

Language: Java - Size: 163 KB - Last synced at: 14 days ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1

denis-sokolov/eslint-plugin

Language: TypeScript - Size: 1.74 MB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 3 - Forks: 1

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 - Size: 1.41 MB - Last synced at: 17 days ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

ElsevierSoftwareX/SOFTX-D-21-00156 Fork of saadgroup/BuckinghamPy

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

Size: 168 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

casm-lang/libtptp 📦

Thousands of Problems for Theorem Provers Library

Language: C++ - Size: 1.58 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

spamegg1/spamegg1-thm-prov-lean4

Working through Theorem Proving in Lean4

Language: Lean - Size: 111 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

LorenzoBloedow/BloatedMath

Extensive TypeScript Math Library.

Language: TypeScript - Size: 15 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Supreme-YS/Theorem

The theorem of computer science theory

Size: 190 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

federicomor/rand-thm

Random picker of a theorem from a set of theorems.

Language: Julia - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

mlyean/agda-extras

Extra stuff (mostly math) for Agda.

Language: Agda - Size: 33.2 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

kovzol/RegularNGons

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

Language: HTML - Size: 3.04 MB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

quantumomics/Beauty

Beauty

Size: 135 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

MattiaOldani/The-useless-theorem

Il teorema più inutile dopo l'ultimo teorema di Fermat

Language: Typst - Size: 644 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

BrunoSupremo/infinite_monkey

A site for playing with the infinite monkey theorem

Language: JavaScript - Size: 31.3 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

sourceduty/Theorem_Proof

🧮 Mathematical theorem proving assistant.

Size: 40 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

alhuc/centerpoint

Interactive implementation of the Centerpoint Theorem

Language: Python - Size: 49.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

SandokanSaruhan/Master-Theory-Math

This is a simple App about Complexity Theory in computer science by enlightening of @Nayuki.

Language: JavaScript - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

leondejong/js-collision-detection

Collision Detection

Language: JavaScript - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1

sbacco/daddyness

Disproving a useless conjecture

Language: TeX - Size: 633 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

mr-ravin/theorem10 📦

This repository includes a computer program for a mathematical theorem paper titled "A theorem on numbers of the form 10^x"

Language: Python - Size: 237 KB - Last synced at: 4 days ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

vcwild/infsim 📦

Simulation of normal distribution random variables and quick overview investigation of the exponential distribution and comparison with the Central Limit Theorem.

Size: 383 KB - Last synced at: 1 day ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

macarthuror/4-color-theorem

Description and examples of what's the 4 Color Theorem

Language: HTML - Size: 3.19 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

pedrobealves/bezout-s_theorem-c

Bezout's Identity Algorithm

Language: C - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0