Glossary: X

Definitions in this project whose names start with X. The whole glossary has the other sections.

A · B · C · D · E · F · G · H · I · J · K · L · M · N · O · P · Q · R · S · T · U · V · W · X · Y · Z · Other

x def

$x_n = \tan\left(\sum_{k=1}^n \arctan k\right) = B_n / A_n$. · Arxiv.«2607.05739».x

x def

def x (α : ℝ) : ℝ · MovingSofa.GerversSofa.x

x def

Auxiliary sequence $x(n)$ with $x(1)=1$ and $x(n) = 2 x(n-1) + \operatorname{lcm}(x(n-1),n)$. · OeisA135508.x

xN def

xN n is the set of words in XWord of length n. · OeisA108081.xN

XU def

The qubit $X$ basis as a bundled unitary matrix. · OpenQuantumProblem13.Qubit.XU

XWord inductive

XWord is the smallest set of words satisfying the inductive properties described in A108081. · OeisA108081.XWord

xyzPowN def

The finsupp corresponding to the monomial $x^n y^n z^n$. This is the map $\lambda i. n$. Since Fin 3 is finite, this function is finitely supported. · OeisA2897.xyzPowN