Skip to content

Problems · Vela Mathematics Program

Problem ledger

95 problems · 2/2NumberSourcesGraph view
declared openerdos:819
additive combinatoricspossible2 sources
declared openerdos:852
number theoryprimesA001223 · A053597 · A0785152 sources
declared solvederdos:858
declared openerdos:875
declared solvederdos:896
number theorypossible3 sources
declared disproved (Lean)erdos:927
graph theorypossible3 sources
declared openerdos:935
number theoryA057521 · A389244 · possible2 sources
declared proved (Lean)erdos:947
declared solvederdos:948
declared openerdos:956
geometrydistancesconvexpossible2 sources
declared disprovederdos:960
geometrypossible3 sources
declared openerdos:963
number theorypossible2 sources
declared proved (Lean)erdos:964
declared openerdos:976
number theoryN/A2 sources
declared openerdos:983
number theorypossible2 sources
declared provederdos:986
graph theoryramsey theoryA000791 · A0594423 sources
declared openerdos:995
declared openerdos:1033
graph theorypossible2 sources
declared openerdos:1070
geometrypossible2 sources
declared solvederdos:1089
geometrydistancespossible3 sources
declared solvederdos:1091
declared openerdos:1131
declared openerdos:1132
declared disproved (Lean) · £10erdos:1134
number theoryA1856613 sources
declared openerdos:1143
declared provederdos:1153
declared openerdos:1183
declared solvederdos:1195
number theorypossible3 sources
declared disproved (Lean)erdos:1197
analysisN/A5 sources
declared solvederdos:1202
number theoryprimespossible3 sources
declared openerdos:1208
geometrydistancesA193838 · A271490 · possible2 sources
declared provederdos:1217

Search problems.science

Find a Problem, Result, source, or page