Λ

Mathlib.NumberTheory.LSeries.AbstractFuncEq

URI: https://scilib.ai/kg/mathlib#StrongFEPair.Λ

English

The completed L-function Λ is defined as the Mellin transform of f: Λ(s) = mellin f(s).

Русский

Завершенная L-функция Λ определяется как Меллина трансформация f: Λ(s) = mellin f(s).

LaTeX

$$Λ : ℂ → E := mellin P.f$$

Lean4

/-- The completed L-function. -/
def Λ : ℂ → E :=
  mellin P.f

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

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

Разделы

Аффилиация

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