Skip to content

Problems · Vela Mathematics Program

Problem ledger

613 problems · 3/13NumberSourcesGraph view
declared proved (Lean)erdos:237
declared provederdos:240
declared provederdos:255
declared openerdos:256
declared openerdos:261
declared solvederdos:262
declared openerdos:265
declared disprovederdos:270
declared provederdos:284
declared provederdos:292
declared openerdos:293
declared provederdos:294
declared solvederdos:297
declared solvederdos:300
declared provederdos:305
declared provederdos:308
declared disprovederdos:309
declared openerdos:322
number theorypowersA025456 · A025418
declared openerdos:327
declared openerdos:334
number theoryA062241 · A045535
declared openerdos:345
declared provederdos:356
declared solvederdos:360
declared provederdos:362
declared openerdos:365
number theoryA060355 · A060859 · A175155
declared openerdos:367
number theoryA0575213 sources
declared openerdos:368
number theoryA0743993 sources
declared provederdos:372
declared openerdos:374
number theoryA388851 · A387184 · A389117 · A3891482 sources
declared provederdos:380
number theoryA070003 · A388654 · A387054 · A3891003 sources
declared disprovederdos:381
declared openerdos:382
declared openerdos:388
number theoryN/A2 sources
declared provederdos:391
number theoryfactorialsA034258 · A034259
declared openerdos:393
number theoryfactorialsA3883022 sources

Search problems.science

Find a Problem, Result, source, or page