A Formal Proof of the Irrationality of $ζ(3)$ in Lean 4

Documenti analoghi

• Fast formulas for the Hurwitz values $ζ(2,a)$ and $ζ(3,a)$
  di: Guillera, Jesús
  Pubblicazione: (2025)
• On the Irrationality Exponents of Mahler Numbers
  di: Rajchert, Andrew
  Pubblicazione: (2024)
• The linear independence of $1$, $ζ(2)$, and $L(2,χ_{-3})$
  di: Calegari, Frank, et al.
  Pubblicazione: (2024)
• Formalizing zeta and L-functions in Lean
  di: Loeffler, David, et al.
  Pubblicazione: (2025)
• On the Connection Between Irrationality Measures and Polynomial Continued Fractions
  di: David, Nadav Ben, et al.
  Pubblicazione: (2021)