Skip to content

Problems · Vela Mathematics Program

Problem ledger

32 problemsGraph view
declared proved · $500erdos:21
declared proved · $500erdos:83
combinatoricsA071799 · A387635
declared open · $500erdos:161
declared solved (Lean)erdos:192
declared disproved (Lean)erdos:231
combinatoricsN/A3 sources
declared solvederdos:603
declared openerdos:644
declared disprovederdos:664
declared openerdos:665
combinatoricsN/A2 sources
declared provederdos:702
declared proved · $250erdos:703
declared provederdos:722
declared openerdos:724
declared openerdos:725
declared provederdos:732
declared provederdos:733
declared openerdos:734
combinatoricspossible2 sources
declared openerdos:776
combinatoricspossible2 sources
declared openerdos:901
declared provederdos:903
declared solvederdos:1025
declared provederdos:1027
declared openerdos:1159
declared openerdos:1183

Search problems.science

Find a Problem, Result, source, or page