Skip to content

OEIS

The 346 problem files in FormalConjectures/OEIS that state a research or textbook statement, at commit 2055e5ad, one article each.

Their docstrings and Lean statements are quoted from Formal Conjectures (Google DeepMind) at that commit, under its Apache-2.0 license.

Density of ones in the… to Primes congruent to ${3, 5…

Least positive multiple of \(n\)… to Number of primes \(< n^2\)

Conjectures associated with… to Decimal encoding of the prime…

Conjectures associated with… to Number of prime powers strictly…

Conjecture relating two… to Prime-th recurrence with…

Pentanacci \(\pi\) sequence to $a(n) = \sum_{i=0}^n…

Riesel Problem to Number of refactorable numbers…

Determinants of 2 X 2 matrices… to Denominators of $\sum_{k=1}^n…

Recurrence with fourth powers… to Number of primes of the form…

Primes of the form $3^n \pm 3^k… to Primes \(p < n\) with $n^2 - n +…

Representations of \(n\) using… to Partitions \(n = p + q\) with…

Triples summing to \(n\) with… to Ordered ways to write $2n = p +…

Number of \(0 < k < n/2\) such… to Difference between \(n \tau(n)\)…

Least \(m\) such that \(m + n\)… to Representations of \(n\) as $x^2…

Sums of a cube, a square, and a… to Characterization of Carmichael…

Nonnegativity of the Dirichlet… to A cubic generating function…

A logarithmic derivative with… to Decimal concatenation of a…

No article: 2 files here state no research or textbook statement: \(a(n) = n\) if \(n\) is prime, otherwise \(a(n) = 1\), Sloping binary numbers: read array of binary numbers (right-justified) along diagonals of slope \(-1\).

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.