Gamma

Mathlib.Analysis.SpecialFunctions.Gamma.Basic

URI: https://scilib.ai/kg/mathlib#Complex.Gamma

English

Γ is the complex gamma function (the standard extension of the real gamma function to complex arguments).

Русский

Γ — комплексная гамма-функция (стандартное продолжение вещественной гаммы к комплексным аргументам).

LaTeX

$$$$ \Gamma: \mathbb{C} \to \mathbb{C} $$$$

Lean4

/-- The `Γ` function (of a complex variable `s`). -/
def Gamma :=
  val_proj @wrapped✝.{}

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

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

Разделы

Аффилиация

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