The Wayback Machine - https://web.archive.org/web/20201028002014/https://github.com/topics/theorem

#

theorem

Here are 23 public repositories matching this topic...

groupoid / homotopy

Star

Homotopy Type System for Erlang

type-theory homotopy formal-languages theorem

Updated Mar 20, 2020
Erlang

ice1k / Theorems

Star

🌐 Theorems that rule this multiverse

theorem-proving agda formal-verification theorem

Updated Oct 6, 2018
Agda

prashant-raghu / Algorithms-Data-Structures

Star

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++

jonaprieto / online-atps

Star

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

tptp vampire atp metis theorem eprover

Updated Jul 8, 2019
Haskell

bemoregt / gpRadonTransform

Star

Radon Transform(Sinogram) of Image for Openframeworks.

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

Updated Jul 11, 2019
Makefile

georgejkaye / theorem-prover

Star

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

Theorem / eslint-plugin

Star

Theorem eslint tools

react javascript typescript eslint linting theorem

Updated Oct 24, 2020
TypeScript

slopezpereyra / PrimalityTest-FermatsLittleTheorem

Star

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

quantumomics / Beauty

Star

Beauty

beauty equation proof theorem kumar

Updated Jul 17, 2018

rpgcbaptista / sequence

Star

Proof of theorems about constructive real sequences and series in Coq.

coq proof series sequence real theorem constructive

Updated Sep 23, 2020
Coq

mlyean / agda-extras

Star

Extra stuff (mostly math) for Agda.

library math theorem-proving agda theorem

Updated Jul 5, 2020
Agda

rljacobson / WAM

Star

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

vcwild / infsim

Star

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

statistical-analysis literate-programming rstats data-analysis inferential-statistics statistical-models theorem

Updated May 26, 2020

kovzol / RegularNGons

Star

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

trecky / bezout-s_theorem-c

Star

Bezout's Identity Algorithm

c math structures mathematics theorem mathematical-programming

Updated Mar 31, 2018
C

macarthuror / 4-color-theorem

Star

Description and examples of what's the 4 Color Theorem

edges theorem 4-color-theorem 4-color

Updated Nov 2, 2019
HTML

SandokanSaruhan / Master-Theory-Math

Star

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

casm-lang / libtptp

Star

Thousands of Problems for Theorem Provers Library

cpp11 automated cpp-library theorem libtptp proving

Updated Jul 15, 2020
C++

Asher73 / 5_Teorema_Pitagoras

Star

App que realiza el teorema de pitagoras

android kotlin application app triangle kotlin-android figure theorem pitagoras

Updated Jul 19, 2019
Kotlin

danielkvist / monkey-writers

Star

Monkey Writers is a simple webapp inspired by The Infinite Monkey theorem.

react generator webapp infinite monkey theorem

Updated Oct 4, 2020
JavaScript

sanga2000 / tipasa

Star

sangamesh

Updated Jun 6, 2017
Java

sharath041995 / Basic-Programs

Star

theorem reverseddigits

Updated Jul 31, 2018

mr-ravin / theorem10

Star

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 Mar 18, 2020
Python

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."

You can’t perform that action at this time.