teorth/erdosproblems

HELP WANTED: Computing sequence for Erdős problem #290 3 days ago

help wanted

817

A community database for the problems on the erdosproblems.com site

Python

HELP WANTED: Computing sequence for Erdős problem #181 (R(Q_n)) 2 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

HELP WANTED: Computing F(n) for Erdős problem #425 (multiplicative Sidon) 3 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

HELP WANTED: Computing sequence for Erdős problem #1086 (max equal-area triangles) 3 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

HELP WANTED: Computing sequence for Erdős problem #506 (min circles determined by n points) 3 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

HELP WANTED: Computing sequence for Erdős problem #84 (cycle-set counts) 3 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

[Help Wanted] Problem #257: Lean Formalization of a Solution 3 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

[Help Wanted] PR For https://www.erdosproblems.com/3 3 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

[In progress] Computing sequence for Erdős problem #284 3 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

Further computation of R(N) in #321 7 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

Clarification Request: Problem #983 - Possible Definition Discrepancy 7 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

"Beat the AI" on #1038 8 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

"Beat the AI" in 1097: improve the score (log |U+U| + log |U-U| - log |U|) / log |U+U| 8 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

List "most wanted" sequences 9 months ago

help wanted

teorth/erdosproblems

817

A community database for the problems on the erdosproblems.com site

Python

Open Issues Need Help