xz

Mathlib.NumberTheory.PellMatiyasevic

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

English

For every a with a > 1, the Pell x-sequence viewed as integers satisfies xz(n) = xn(a1, n).

Русский

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

LaTeX

$$$ xz(n) = xn(a1, n) $$$

Lean4

/-- The Pell `x` sequence, considered as an integer sequence. -/
def xz (n : ℕ) : ℤ :=
  xn a1 n

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

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

Разделы

Аффилиация

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