Skip to content
Toggle Sidebar
Home
Problems
Frontiers
Updates
Overview
Problem ledger
Assertions
Proposed changes
Commits
Reproduce
Add contribution
Toggle Sidebar
Vela Mathematics Program
/
Problems
Search or jump
⌘K
Problems · Vela Mathematics Program
Narrowed to
not formalized ×
powerful ×
Clear all
Formalization
formalized
1
not formalized
1
Subject tag
number theory
216
graph theory
199
ramsey theory
83
geometry
60
additive combinatorics
50
analysis
42
chromatic number
39
combinatorics
32
›
32 more subjects
distances
28
hypergraphs
23
turan number
19
primes
17
cycles
16
unit fractions
16
polynomials
15
set theory
15
arithmetic progressions
13
divisors
13
sidon sets
12
discrepancy
11
probability
11
additive basis
10
covering systems
7
binomial coefficients
6
convex
6
group theory
6
factorials
5
diophantine approximation
4
irrationality
4
primitive sets
4
complete sequences
3
planar graphs
3
squares
3
intersecting family
2
iterated functions
2
topology
2
algebra
1
irrational
1
powerful
1
powers
1
Problem ledger
1 problem
Graph view
declared disproved
erdos:1081
Erdős problem 1081
number theory
powerful
A076871 · A076872 · possible
Search problems.science
Find a Problem, Result, source, or page