Open
QED
Docs
Leaderboard
Sign in
Back to problems
Integrality of Somos Sequences
Somos-k sequences produce integers for k <= 7 despite division in the recurrence.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute