a sequence of integers formed by rounding down the integer multiples of a positive irrational number
Le théorème de Beatty est un théorème d'arithmétique publié en 1926 par le mathématicien canadien Samuel Beatty (mais déjà mentionné par Lord Rayleigh en 1894) qui donne une condition nécessaire et suffisante sur deux réels pour que les deux suites associées partitionnent ℕ*.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).
via Wikidata sitelinks · CC0