Skip to content

Problems · Vela Mathematics Program

Narrowed toproved ×analysis ×Clear all

Problem ledger

20 problemsGraph view
declared provederdos:116
Erdős problem 116
polynomialsanalysisN/A
declared provederdos:225
Erdős problem 225
analysisN/A
declared proved · formalizederdos:228
True ↔ ∃ c₁ c₂, ∀ᶠ (n : ℕ) in Filter.atTop, ∃ p, p.degree = ↑n ∧ (∀ i ≤ n, p.coeff i = 1 ∨ p.coeff i = -1) ∧ ∀ (z : ℂ), ‖z‖ = 1 → √↑n < c₁ * ‖Polynomial.eval z p‖ ∧ ‖Polynomial.eval z p‖ < c₂ * √↑n
analysispolynomialsN/A2 sources
declared provederdos:395
Erdős problem 395
analysisN/A
declared provederdos:485
Erdős problem 485
analysispolynomialspossible2 sources
declared proved · formalizederdos:494
∀ (k card p : ℕ), Nat.Prime p → k ∈ Set.Ioo 0 p → p ∣ card → Erdos494.Erdos494Unique k card
analysisadditive combinatoricsN/A2 sources
declared provederdos:515
Erdős problem 515
analysisN/A
declared proved · formalizederdos:516
∀ {f : ℂ → ℂ} {n : ℕ → ℕ}, HasFabryGaps n → ∀ {a : ℕ → ℂ}, (∀ (n : ℕ), a n ≠ 0) → (∀ (z : ℂ), HasSum (fun k => a k * z ^ n k) (f z)) → Erdos516.OfFiniteOrder f → Filter.limsup (fun r => Erdos516.ratio r f) Filter.atTop = 1
analysisN/A2 sources
declared provederdos:523
Erdős problem 523
analysisprobabilitypolynomialsN/A
declared provederdos:525
Erdős problem 525
analysisprobabilitypolynomialspossible
declared provederdos:527
Erdős problem 527
analysisprobabilityN/A
declared provederdos:908
Erdős problem 908
analysisN/A
declared provederdos:909
Erdős problem 909
analysistopologyN/A
declared proved · formalizederdos:987
True ↔ ∀ (x : ℕ → ℝ), (∀ (j : ℕ), x j ∈ Set.Ioo 0 1) → Filter.limsup (fun k => Erdos987.A x k) Filter.atTop = ⊤
analysisdiscrepancyN/A4 sources
declared provederdos:998
Erdős problem 998
analysisdiophantine approximationN/A
declared provederdos:1042
Erdős problem 1042
analysisN/A
declared provederdos:1114
Erdős problem 1114
analysispolynomialsN/A
declared provederdos:1129
Erdős problem 1129
analysispolynomialsN/A2 sources
declared provederdos:1130
Erdős problem 1130
analysispolynomialsN/A2 sources
declared provederdos:1153
Erdős problem 1153
analysispolynomialsN/A3 sources

Search problems.science

Find a Problem, Result, source, or page