Skip to content

Problems · Vela Mathematics Program

Narrowed tobase representations ×Clear all

Problem ledger

5 problemsGraph view
declared open · formalizederdos:124
∀ {D : Finset ℕ}, (∀ d ∈ D, 3 ≤ d) → (∀ᶠ (n : ℕ) in Filter.atTop, n ∈ ∑ d ∈ D, Erdos124.sumsOfDistinctPowers d 0) → 1 ≤ ∑ d ∈ D, (↑d - 1)⁻¹
number theorybase representationsN/A4 sources
declared disproved (Lean) · formalizederdos:125
False ↔ ({x | (Nat.digits 3 x).toFinset ⊆ {0, 1}} + {x | (Nat.digits 4 x).toFinset ⊆ {0, 1}}).HasPosDensity
number theorybase representationsA3670906 sources
declared open · formalizederdos:376
True ↔ {n | n.centralBinom.Coprime 105}.Infinite
number theorybinomial coefficientsbase representationsA0309792 sources
declared open · formalizederdos:406
True ↔ {n | n.isPowerOfTwo ∧ Nat.digits 3 n ⊆ [0, 1]}.Finite
number theorybase representationsN/A2 sources
declared open · formalizederdos:730
True ↔ Erdos730.S.Infinite
number theorybinomial coefficientsbase representationsA1295154 sources

Search problems.science

Find a Problem, Result, source, or page