riemannZeta

Mathlib.NumberTheory.LSeries.RiemannZeta

URI: https://scilib.ai/kg/mathlib#riemannZeta

English

The Riemann zeta function ζ(s) is defined as the even Hurwitz zeta at zero offset.

Русский

Функция ζ(s) Римана определяется как ζ(s) = «четная» функция Хёрвитца при нулевом смещении.

LaTeX

$$$\\text{riemannZeta} := \\mathrm{hurwitzZetaEven}(0)$$$

Lean4

/-- The Riemann zeta function `ζ(s)`. -/
def riemannZeta :=
  hurwitzZetaEven 0

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru