Skip to content

Problems · Vela Mathematics Program

Narrowed toproved ×geometry ×Clear all

Problem ledger

13 problemsGraph view
declared proved · $500erdos:95
Erdős problem 95
geometryconvexdistancespossible
declared provederdos:210
Erdős problem 210
geometryA003034
declared proved · $100erdos:211
Erdős problem 211
geometryN/A
declared provederdos:215
Erdős problem 215
geometryN/A
declared provederdos:232
Erdős problem 232
geometrydistancesN/A
declared provederdos:605
Erdős problem 605
geometrydistancespossible
declared proved · $250erdos:607
Erdős problem 607
geometrypossible
declared provederdos:652
Erdős problem 652
geometrydistancesN/A2 sources
declared provederdos:733
Erdős problem 733
combinatoricsgeometrypossible
declared provederdos:754
Erdős problem 754
geometrydistancespossible
declared proved · formalizederdos:755
True ↔ ∃ o, (o =o[Filter.atTop] fun x => 1) ∧ ∀ᶠ (n : ℕ) in Filter.atTop, ↑(Erdos755.TUnit 6 n) ≤ (1 / 27 + o n) * ↑n ^ 3
geometrypossible2 sources
declared provederdos:957
Erdős problem 957
geometrydistancesN/A
declared provederdos:1124
Erdős problem 1124
geometryN/A

Search problems.science

Find a Problem, Result, source, or page