#

theorem

Here are 32 public repositories matching this topic...

gabrieldim / Probability-And-Statistics

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

distribution statistics parameters random variable event estimation combinatorics variables theorem theorems probability-statistics probablity

Updated May 5, 2021
R

prashant-raghu / Algorithms-Data-Structures

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

algorithms cpp graphs sort heap shortest-paths trees fundamental segment-tree theorem suffix-tree ternary-search

Updated Oct 17, 2019
C++

bemoregt / gpRadonTransform

Radon Transform(Sinogram) of Image for Openframeworks.

angle projection slice fourier transform reconstruction rotation polar radon theorem coordinate hough reciprocal sinogram

Updated May 19, 2021
Makefile

ice1k / Theorems

🌐 Theorems that rule this multiverse

theorem-proving agda formal-verification theorem

Updated Oct 6, 2018
Agda

francoisschwarzentruber / prooffold

Another attempt for visualizing proofs

education proof mathematics pedagogy theorem processingjs educational-project mathematics-notes mathematics-education

Updated Jun 28, 2022
JavaScript

jonaprieto / online-atps

A Haskell client to use automatic theorem provers of the service SystemOnTPTP

tptp vampire atp metis theorem eprover

Updated Jul 8, 2019
Haskell

georgejkaye / theorem-prover

A simple theorem prover made for a university programming assignment

theorem-proving propositional-logic dimacs theorem reasoning theorem-prover dpll clause-normal-form resolution-calculus propositional-resolution

Updated Jul 28, 2017
Java

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.

rust logic mathematics automated theorem proving

Updated Sep 1, 2020
Rust

denis-sokolov / eslint-plugin

Sponsor

react javascript typescript eslint linting theorem

Updated Jun 8, 2022
TypeScript

enjeck / theorem-graphs

Visualizing mathematical theorem relationships using graphs

visualization graph graph-visualization theorem theorems

Updated Nov 28, 2021
JavaScript

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)

semantics proof x86 coq-formalization armv8 theorem pldi persistency

Updated Apr 14, 2021
Coq

kovzol / RegularNGons

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

distance polygon intersection pentagon theorem diagonals giac

Updated Sep 5, 2018
HTML

quantumomics / Beauty

Beauty

beauty equation proof theorem kumar

Updated Jul 17, 2018

slopezpereyra / PrimalityTest-FermatsLittleTheorem

A program that probabilistically tests wether a p number is prime or not, with a simple algorithm based on Fermat's little theorem.

prime prime-numbers theorem fermat primality-testing

Updated Mar 30, 2018
Python

mlyean / agda-extras

Extra stuff (mostly math) for Agda.

library math theorem-proving agda theorem

Updated Jul 5, 2020
Agda

Supreme-YS / Theorem

The theorem of computer science theory

computer-science theory theorem

Updated Dec 15, 2021

casm-lang / libtptp

Thousands of Problems for Theorem Provers Library

cpp11 automated cpp-library theorem libtptp proving

Updated Apr 3, 2022
C++

leondejong / js-sat

Separating Axis Theorem

javascript html js separating-axis-theorem axis sat 2d theorem separating

Updated Jun 20, 2022
JavaScript

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

python pi dimensional-analysis theorem buckingham dimensionless-terms

Updated Oct 7, 2021
Jupyter Notebook

mr-ravin / theorem10

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

mathematics python3 number-theory theorem theorem10

Updated Nov 10, 2021
Python

sanga2000 / tipasa

sangamesh

Updated Jun 6, 2017
Java

SandokanSaruhan / Master-Theory-Math

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

javascript calculator math mathematics complexity theorem calculator-application complexity-theory

Updated Oct 30, 2019
JavaScript

kapooa13 / ocaml_theorem_prover

Automatic theorem prover written in OCaml.

parser ocaml theorem

Updated May 9, 2021
OCaml

Asher73 / 5_Teorema_Pitagoras

App que realiza el teorema de pitagoras

android kotlin application app triangle kotlin-android figure theorem pitagoras

Updated Jul 19, 2019
Kotlin

eigenbooks / bayes-missing-manual

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

statistics example probability bayes practical theorem odds

Updated May 12, 2021
Jupyter Notebook

macarthuror / 4-color-theorem

Description and examples of what's the 4 Color Theorem

edges theorem 4-color-theorem 4-color

Updated Nov 2, 2019
HTML

sharath041995 / Basic-Programs

theorem reverseddigits

Updated Jul 31, 2018

pedrobealves / bezout-s_theorem-c

Bezout's Identity Algorithm

c math structures mathematics theorem mathematical-programming

Updated Mar 31, 2018
C

sbacco / daddyness

Disproving a useless conjecture

math proof number-theory theorem

Updated Dec 19, 2021
TeX

federicomor / rand-thm

Random picker of a theorem from a set of theorems

university theorem-proving exams theorem theorems theorem-generator

Updated Mar 5, 2021
Julia

Improve this page

Add a description, image, and links to the theorem topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the theorem topic, visit your repo's landing page and select "manage topics."