Popular repositories Loading

1. erdos935-palomar erdos935-palomar Public

   Lean 4 proofs of three solved statements of Erdős Problem 935, for the Palomar registry

   Ruby 1 1

2. PrMers PrMers Public

   Forked from cherubrock-seb/PrMers

   Mersenne prime search using integer arithmetic and an IDBWT via an NTT executed on the GPU through OpenCL.

   C++

3. erdos647 erdos647 Public

   GPU search for Erdős problem #647: no solution with 24 < n <= 10^22

   Python

4. erdos97 erdos97 Public

   Erdős problem #97: GPU search (no counterexample) and exact proof that any counterexample has at least 11 vertices

   Python

5. erdos203 erdos203 Public

   Erdős problem #203: search for a 2D covering system for 2^k 3^l m + 1 (negative outcome, data and code)

   Python

6. erdos156 erdos156 Public

   Erdős problem #156: exact small-case data for maximal Sidon sets in cyclic groups and intervals (k<=7), with verification

   Python