arXiv

The 42 problem files in FormalConjectures/Arxiv 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.

Generic and maximal rank of… to TxGraffiti Conjecture 1…

• Generic and maximal rank of 3-tensors
• Central Binomial Tail Bounds, Conjecture 6.3
• The Curling Number Conjecture
• The first Atiyah--Sutcliffe conjecture
• Cunningham chains — Jones's conjecture
• Conway's subprime Fibonacci sequences
• Boxdot Conjecture
• Unique Crystal Components
• The length of an \(s\)-increasing sequence of \(r\)-tuples
• Ringel's Conjecture and Kotzig's Conjecture for large \(n\)
• Barker sequences
• Independent Domination of Regular Graphs, Conjecture 1.6
• Digit \(2\) in base \(3\) representation of \(2^n\)
• Zariski Cancellation
• Spectral sets and weak tiling
• Furstenberg's `times p, times q` conjectures
• The circulant Hadamard conjecture
• An Arithmetic Sum Associated with the Classical Theta Function
• A conjecture by Margulis on matrix groups
• TxGraffiti Conjecture 1: independence, annihilation, and residue

TxGraffiti Conjecture 2: zero… to The Dixmier Conjecture

• TxGraffiti Conjecture 2: zero forcing versus independence (cubic graphs)
• TxGraffiti Conjecture 3: independent domination versus saturation (regular)
• TxGraffiti Conjecture 4: the saturation number versus the harmonic index
• First Proof, Theorem 4
• First Proof, Theorem 6
• Group structure via subgroup counts
• Dean's conjecture on cycles of length divisible by `k`
• Fernandes' conjecture on the 2-generation of even direct product permutation groups
• Convexity of Fisher information along the heat flow
• Bondy's conjecture on longest cycles in highly connected graphs
• Planar \(L_p\)-Rogers-Shephard, the equality case
• The microscopic weighting on a metric space
• Integer values of \(\tan(\arctan 1 + \arctan 2 + \cdots + \arctan n)\)
• The Alon-Tarsi short cycle cover conjecture
• Minimum modulus for the unique multiset-sum problem
• The Balister–Győri–Schelp conjecture
• The Maxwell conjecture
• Banach-Mazur Rotation Problem
• Finite generation of the cohomology of finite-dimensional Hopf algebras
• The Dixmier Conjecture

The Poisson Conjecture to Algebraic consequences of the…

• The Poisson Conjecture
• Algebraic consequences of the Farrell–Jones conjecture

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.