Independent computational research. Every project ships its code and data, says plainly what was and was not shown, and can be checked or re-run by anyone.
| Project | What it is | Archive |
|---|---|---|
| debruijn-newman-degree-two | Proven de Bruijn-Newman bounds below 1/2 in degree 2 (eta(z)eta(23z): 0.449938; none earlier found), and a product lemma giving such bounds for Dedekind zeta functions | doi:10.5281/zenodo.23794434 |
| ramanujan-septic-galois | Ramanujan's lost-notebook septic identity at every odd prime: the number fields of its pieces, one rule (Euler's idoneal numbers) for when they are cyclotomic at every odd level, units and a Stark-unit recipe | doi:10.5281/zenodo.23790016 |
| laser-chaos | Computer-assisted proof that the loss-modulated class-B laser (the CO2-laser chaos model) has a chaotic set of motions; at the published parameters the long-run behaviour is a period-16 rhythm, so the chaos is real but hidden | doi:10.5281/zenodo.23422903 |
| certified-qubit-peel | A published method that builds qubits out of a list of energies, re-run with its authors' own code and checked against certified best splits: where its search misses, by how much, and what survives | doi:10.5281/zenodo.23293218 |
| moment-map-local-maxima | Which ways of splitting a quantum system into parts make the parts interact least: an exact classification (theorem with complete proofs), extended to mutual information, explaining the McConnell-Jennings counts | doi:10.5281/zenodo.23275890 |
| ueda-chaos | Computer-assisted proof that Ueda's forced oscillator x'' + 0.05x' + x^3 = 7.5 cos t is chaotic | doi:10.5281/zenodo.23172757 |
| moki-julio-wifi-ris-cell | One 1-bit reconfigurable-intelligent-surface cell covering the 2.4 GHz and 5-7 GHz Wi-Fi bands with one switch state (simulation study, Palace FEM) | doi:10.5281/zenodo.23165406 |
| rikitake-chaos | Computer-assisted proof that Rikitake's two-disc dynamo (1958) is chaotic | doi:10.5281/zenodo.23041182 |
| szilassi-12 | No symmetric 12-face Szilassi polyhedron: a computer-assisted proof with DRAT certificates | doi:10.5281/zenodo.23003257 |
| moki-julio-circle-packing | 6,071 new best-known packings of equal circles, spheres and hyperspheres, each verified by two independent exact checkers | doi:10.5281/zenodo.22981305 |
| kinect-v1-depth-levels | The Xbox 360 Kinect measured as an instrument: the depth lattice, three noise populations, drift and a capability map | GitHub only |
Text and data are CC BY 4.0 and code is MIT unless a repository says otherwise.