Skip to content

Problems · Vela Mathematics Program

Narrowed tofalsifiable ×convex ×Clear all

Problem ledger

3 problemsGraph view
declared falsifiable · formalized · $100erdos:97
True ↔ ∀ (A : Finset (EuclideanSpace ℝ (Fin 2))), A.Nonempty → EuclideanGeometry.ConvexIndep ↑A → ¬Erdos97.HasNEquidistantProperty 4 A
geometrydistancesconvexN/A2 sources
declared falsifiable · formalized · $500erdos:107
sorry ↔ ∀ n ≥ 3, Erdos107.f n = 2 ^ (n - 2) + 1
geometryconvexA0000512 sources
declared falsifiable · formalizederdos:982
∀ (n : ℕ), 3 ≤ n → ∀ (p : Fin n → EuclideanSpace ℝ (Fin 2)), Function.Injective p → EuclideanGeometry.IsConvexPolygon p → ∃ i, {d | ∃ j, j ≠ i ∧ d = dist (p i) (p j)}.ncard ≥ n / 2
geometryconvexdistancesA0045262 sources

Search problems.science

Find a Problem, Result, source, or page