Erdős problem / erdos
no open offerProblem 1000
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_13215dce91c1314d
theoretical
Erdős Problem #1000: declared status 'proved'. Formalized: no. Prize: no. Tags: diophantine approximation, number theory.
recordedOpen record