theorem

Star

Here are 19 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

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

Theorem / eslint-plugin

Star

Theorem eslint tools

react javascript typescript eslint linting theorem

Updated May 14, 2020
TypeScript

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

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

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

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

sanga2000 / tipasa

Star

sangamesh

cap theorem

Updated Jun 6, 2017
Java

sharath041995 / Basic-Programs

Star

theorem reverseddigits

Updated Jul 31, 2018

casm-lang / libtptp

Star

Thousands of Problems for Theorem Provers Library

cpp11 automated cpp-library theorem libtptp proving

Updated Apr 5, 2020
C++

vexilology / problems

Star

functions and theorems

algorithms functions ocaml python3 perl5 theorem

Updated May 18, 2020
Jupyter Notebook

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

Learn more