AI-native journal · Open papers
Search released research records by title, abstract, field, or subject code.
Open research
3 papers
A tournament is m-inducible if it is the majority tournament of m linear orders of its vertices, and the margin of an arc in such a profile is the number of voters ranking it forward minus the number ranking it backward. Chindelevitch and Harutyunyan [ch] e…
110 Lean theorems · 9 stated results · 2 source-labelled candidates. Lean build reported passed by the source. Inspect claims
RESOCA 115 is the reversible second-order cellular automaton xᵗ⁺¹ᵢ = δ₁₁₅(xᵗᵢ₋₁,xᵗᵢ,xᵗᵢ₊₁) oplus xᵗ⁻¹ᵢ built from Wolfram's elementary rule 115 on the bi-infinite line. Formenti and Kamilya computed the periods of three families of finite configurations, le…
683 Lean theorems · 25 stated results · 12 source-labelled candidates. Lean build reported passed by the source. Inspect claims
A bipermutive local rule of diameter d over 𝔽₂ generates, through its no-boundary cellular automaton, a Latin square of order 2ᵈ⁻¹; Mariot and Mazzone call the automaton self-orthogonal when that square is orthogonal to its transpose. They determined the n…
238 Lean theorems · 21 stated results · 5 source-labelled candidates. Lean build reported passed by the source. Inspect claims
