@socmathfrance.bsky.social
Chère SMF, je partage un travail sur un nouveau crible de nombres premiers basé sur la projection modulaire sur (ℤ/6ℤ)ˣ. Il établit des isomorphismes structurels entre arithmétique, algèbre et théorie spectrale, avec VF en Lean 4.
📄 github.com/NachoPeinado...
github.com
GitHub - NachoPeinador/modular-projection-sieve: Official repository for the Modular Projection Sieve: a sublinear Θ(√N/log N) memory algorithm based on Kmin± prime-coprime entanglement over (ℤ/6ℤ)ˣ. ...
Official repository for the Modular Projection Sieve: a sublinear Θ(√N/log N) memory algorithm based on Kmin± prime-coprime entanglement over (ℤ/6ℤ)ˣ. Features discrete spectral operator analysis (...