Salden, A. H. (2026). CFP-MCFP: Machine-Verified Proofs of Riemann Hypothesis, Goldbach, Yang-Mills, Fermat, Beal, Collatz — Lean 4 Theorem Prover. Zenodo.
Chicago-Zitierstil (17. Ausg.)Salden, Alfons H. CFP-MCFP: Machine-Verified Proofs of Riemann Hypothesis, Goldbach, Yang-Mills, Fermat, Beal, Collatz — Lean 4 Theorem Prover. Zenodo, 2026.
MLA-Zitierstil (9. Ausg.)Salden, Alfons H. CFP-MCFP: Machine-Verified Proofs of Riemann Hypothesis, Goldbach, Yang-Mills, Fermat, Beal, Collatz — Lean 4 Theorem Prover. Zenodo, 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.