COLLECTED BY

Organization: Archive Team

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.

History is littered with hundreds of conflicts over the future of a community, group, location or business that were "resolved" when one of the parties stepped ahead and destroyed what was there. With the original point of contention destroyed, the debates would fall to the wayside. Archive Team believes that by duplicated condemned data, the conversation and debate can continue, as well as the richness and insight gained by keeping the materials. Our projects have ranged in size from a single volunteer downloading the data to a small-but-critical site, to over 100 volunteers stepping forward to acquire terabytes of user-created data to save for future generations.

The main site for Archive Team is at archiveteam.org and contains up to the date information on various projects, manifestos, plans and walkthroughs.

This collection contains the output of many Archive Team projects, both ongoing and completed. Thanks to the generous providing of disk space by the Internet Archive, multi-terabyte datasets can be made available, as well as in use by the Wayback Machine, providing a path back to lost websites and work.

Our collection has grown to the point of having sub-collections for the type of data we acquire. If you are seeking to browse the contents of these collections, the Wayback Machine is the best first stop. Otherwise, you are free to dig into the stacks to see what you may find.

The Archive Team Panic Downloads are full pulldowns of currently extant websites, meant to serve as emergency backups for needed sites that are in danger of closing, or which will be missed dearly if suddenly lost due to hard drive crashes or server failures.

Collection: Archive Team: URLs

TIMESTAMPS

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

#

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

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

quantumomics / Beauty

Beauty

beauty equation proof theorem kumar

Updated Jul 17, 2018

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

sanga2000 / tipasa

sangamesh

Updated Jun 6, 2017
Java

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

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

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

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

pedrobealves / bezout-s_theorem-c

Bezout's Identity Algorithm

c math structures mathematics theorem mathematical-programming

Updated Mar 31, 2018
C

sharath041995 / Basic-Programs

theorem reverseddigits

Updated Jul 31, 2018

sbacco / daddyness

Disproving a useless conjecture

math proof number-theory theorem

Updated Dec 19, 2021
TeX

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

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