Pinned Repositories
asymptotic
dbn_upper_bound
Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
equational
equational_theories
A project to map out the relations between different equational theories of Magmas.
expdb
Exponent pair database
HelloThere
Trying out collaboration on Git
newton
pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
QED
Repository for the QED interactive text and possible extensions
symmetric_project
teorth's Repositories
teorth/equational_theories
A project to map out the relations between different equational theories of Magmas.
teorth/pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
teorth/QED
Repository for the QED interactive text and possible extensions
teorth/symmetric_project
teorth/expdb
Exponent pair database
teorth/newton
teorth/equational
teorth/asymptotic
teorth/HelloThere
Trying out collaboration on Git
teorth/dbn_upper_bound
Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
teorth/explain-explain-xkcd
teorth/teorth.github.io
Web page for exponent pair database
teorth/test
teorth/test2
test2