qcal
Here are 7 public repositories matching this topic...
This repository contains a fully unconditional and spectral proof of the Riemann Hypothesis using S-finite adelic systems, without invoking ζ(s) or the Euler product. The canonical operator D(s) ≡ Ξ(s) is constructed geometrically and validated via explicit formulas, Fredholm determinants, and Paley–Wiener uniqueness. Includes formalization in Lean
-
Updated
Jul 20, 2026 - Python
El repositorio adelic-bsd demuestra formalmente y computacionalmente el lado espectral-analítico de la conjetura BSD, reduciendo de forma rigurosa la prueba completa a dos compatibilidades aritméticas estándar. (QCAL ∞³)
-
Updated
Jun 1, 2026 - Python
El repositorio 3D-Navier-Stokes constituye la prueba para la regularidad global de las ecuaciones de Navier–Stokes tridimensionales. (QCAL ∞³)
-
Updated
Jul 17, 2026 - Python
QCAL — Quantum Coherence Algebraic Logic: Complete Lean 4 formalization. Đ-operator, adelic Hilbert space, renormalization flow, QCAL-RH equivalence.
-
Updated
Jul 19, 2026 - Lean
Improve this page
Add a description, image, and links to the qcal topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the qcal topic, visit your repo's landing page and select "manage topics."