Skip to content

Pull requests: teorth/erdosproblems

New pull request New
19 Open 313 Closed
19 Open 313 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Link problem 896 to OEIS A399711
#412 opened Sep 9, 2026 by manman4 Loading…
Encode Mercer's cubic for lambda(4)
#411 opened Sep 8, 2026 by Chessing234 Contributor Loading…
Compute S(n) for binomial prime-power exponents
#410 opened Sep 8, 2026 by Chessing234 Contributor Loading…
Compute v(k) for strictly increasing Egyptian decompositions
#409 opened Sep 8, 2026 by Chessing234 Contributor Loading…
Link problem 1105 to OEIS A399683 and A399687
#408 opened Sep 7, 2026 by manman4 Loading…
Test the remaining OEIS false-match traps from issue 356
#407 opened Sep 7, 2026 by Chessing234 Contributor Loading…
1 task done
Link problem 84 to OEIS A399654
#406 opened Sep 6, 2026 by manman4 Loading…
1
547 -> proved
#405 opened Sep 6, 2026 by Jayyhk Contributor Loading…
Test the A174903 pair-vs-partner trap from issue 356
#404 opened Sep 6, 2026 by Chessing234 Contributor Loading…
1 task done
Link OEIS sequences for problems 308, 829, 929
#402 opened Sep 6, 2026 by hjyuh Loading…
1171 -> not disprovable
#401 opened Sep 5, 2026 by Jayyhk Contributor Loading…
501 -> not disprovable
#400 opened Sep 5, 2026 by Jayyhk Contributor Loading…
Problems 308, 634, 939, 942, 943, 1140, 1161: add existing OEIS sequences (7 one-line edits)
#399 opened Sep 5, 2026 by Tyorden Contributor Loading…
Link problem 449 to OEIS A399440
#397 opened Sep 4, 2026 by hbakkaoui-hash Contributor Loading…
Update problems.yaml
#396 opened Sep 3, 2026 by DesmondWeisenberg Contributor Loading…
Record solution to Erdős Problem 193
#395 opened Sep 3, 2026 by ekalvi Loading…
2
Record whether a problem has a forum thread
#384 opened Aug 23, 2026 by Chessing234 Contributor Loading…
1
3
Partial result for Problem 411: r=2 first branch fully classified
#378 opened Aug 11, 2026 by Tonycollatz Loading…
9
Record Lean solution for Erdős Problem 593
#366 opened Jul 29, 2026 by SamPetkov • Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.