yz

Mathlib.NumberTheory.PellMatiyasevic

URI: https://scilib.ai/kg/mathlib#Pell.yz

English

For every a with a > 1, the Pell y-sequence, viewed as integers, satisfies yz(n) = yn(a1, n).

Русский

Для любого a с a > 1 последовательность y Пелля, рассматриваемая как целое число, удовлетворяет yz(n) = yn(a1, n).

LaTeX

$$$ yz(n) = yn(a1, n) $$$

Lean4

/-- The Pell `y` sequence, considered as an integer sequence. -/
def yz (n : ℕ) : ℤ :=
  yn a1 n

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

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

Разделы

Аффилиация

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