Popular repositories Loading
-
-
three-omitted-values-bounded-type-candidate-proof
three-omitted-values-bounded-type-candidate-proof PublicPrivate timestamped archive of an AI-generated candidate proof draft for “Three omitted values do not imply bounded type in a half-plane”; not fully human-verified.
TeX 2
-
erdos-614-turan-reduction
erdos-614-turan-reduction PublicNotes and code for a Turán-type reformulation of Erdős Problem #614
Mathematica 1
-
Notes-on-Erdos-Problem-451
Notes-on-Erdos-Problem-451 PublicNotes on Erdős Problem #451: Density estimates and heuristic evidence for n_k
TeX
-
counterexamples-problem-1045
counterexamples-problem-1045 PublicThis repository contains our preprint Counterexamples for Problem #1045
TeX
-
quantum-casimir-functions
quantum-casimir-functions PublicMathematica code for verifying self-adjoint quantum Casimir functions.
Mathematica
If the problem persists, check the GitHub status page or contact support.