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 ×
iterated functions ×
Clear all
Formalization
formalized
7
not formalized
2
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
Contributing source
source:erdos-problems
2
source:erdos-ai-contributions-wiki
1
Problem ledger
2 problems
Graph view
declared open
erdos:408
Erdős problem 408
number theory
iterated functions
A049108
declared open
erdos:411
Erdős problem 411
number theory
iterated functions
A383044 · possible
2 sources
Search problems.science
Find a Problem, Result, source, or page