Credits
factordb is built on the work of these projects - thank you to everyone behind them.
| Software | What it does here |
|---|---|
| GMP | The GNU Multiple Precision Arithmetic Library: all big-number arithmetic, built into the core and used by the certificate checker and GMP-ECM. |
| MPFR and MPC | The floating-point and complex-number companions of GMP, built into the core together with it. |
| rug | The Rust binding through which the core uses GMP. |
| GMP-ECM | Elliptic-curve factoring: recovery of failed factorizations, "Check for factors", and fdb seq advance in the command-line tool. |
| PARI/GP | APR-CL primality proofs (isprime) of small probable primes in the background prover. |
| Verify Cert | Checks uploaded Primo certificates. By Dana Jacobsen, made parallel (OpenMP) by Greg Childers. |
| Primo | By Marcel Martin - the program contributors use to make the ECPP primality certificates this site verifies and stores. |
| CM | By Andreas Enge - its ECPP prover makes primality certificates in Primo's format, which contributors upload here to be verified and stored. |
| Rust | The language the core is written in: the JSON-RPC service, the background workers, and the fdb command-line tool. |
| MariaDB | The database that holds every number, factor, certificate and sequence. |
| PHP | Runs this website: every page is a PHP script that asks the core for its data. |
| nginx | The web server in front of everything: serves the site over HTTPS and passes API calls on to the core. |
Data
| Source | What it provides here |
|---|---|
| mersenne.ca | The daily import of newly found factors of Mersenne numbers. |
| GIMPS | The status of Mersenne numbers: which are prime, and which are known to be composite. |
| OEIS | The On-Line Encyclopedia of Integer Sequences - the sequence references throughout the site. |
| stdkmd.net | Makoto Kamada's factor tables - the source of most of the near-repdigit forms on the Tables page. |
And above all, thank you to everyone who has contributed factors, certificates and computing time over the years - this database is built from your work.