Skip to content

Problems · Vela Mathematics Program

Narrowed toproved ×Clear all

Problem ledger

210 problems · 5/5NumberSourcesGraph view
declared provederdos:1130
Erdős problem 1130
analysispolynomialsN/A2 sources
declared provederdos:1149
Erdős problem 1149
number theoryN/A
declared provederdos:1153
Erdős problem 1153
analysispolynomialsN/A3 sources
declared provederdos:1164
Erdős problem 1164
probabilityN/A
declared provederdos:1166
Erdős problem 1166
probabilitypossible
declared provederdos:1179
Erdős problem 1179
additive combinatoricsprobabilityN/A
declared provederdos:1180
Erdős problem 1180
number theoryN/A
declared provederdos:1213
Erdős problem 1213
additive combinatoricspossible
declared proved · formalizederdos:1214
True ↔ ∀ (x y : ℕ), x ≥ 1 → y ≥ 1 → (∀ n ≥ 1, {p | Nat.Prime p ∧ p ∣ x ^ n - 1} = {p | Nat.Prime p ∧ p ∣ y ^ n - 1}) → x = y
number theoryN/A2 sources
declared provederdos:1217
Erdős problem 1217
number theorydivisorsprimitive setsN/A3 sources
Vela Mathematics Program: problems · problems.science