Skip to content

Problems · Vela Mathematics Program

Problem ledger

613 problems · 12/13NumberSourcesGraph view
declared independenterdos:1127
declared provederdos:1129
declared provederdos:1130
declared openerdos:1131
declared openerdos:1132
declared disproved (Lean) · £10erdos:1134
number theoryA1856613 sources
declared disprovederdos:1140
declared openerdos:1143
declared disprovederdos:1147
declared provederdos:1149
declared openerdos:1152
declared provederdos:1153
declared not disprovableerdos:1154
declared openerdos:1155
declared openerdos:1157
declared openerdos:1158
declared openerdos:1159
declared openerdos:1160
declared solvederdos:1161
group theorypossible
declared openerdos:1162
group theorypossible
declared openerdos:1163
declared provederdos:1164
declared solvederdos:1165
declared provederdos:1166
probabilitypossible
declared not disprovableerdos:1169
declared not disprovableerdos:1174
declared provederdos:1180
declared openerdos:1181
declared openerdos:1182
declared openerdos:1183
declared openerdos:1184
declared open · $1000erdos:1191
declared solvederdos:1195
number theorypossible3 sources
declared disproved (Lean)erdos:1197
analysisN/A5 sources

Search problems.science

Find a Problem, Result, source, or page