A language of polynomials
active 2023-10-17 → 2025-06-28 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 621 days from 2023-10-17 to 2025-06-28. Pushes: 81 total, peak 26 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 154 total, peak 16 in a day. Comments: 12 total, peak 4 in a day. Stars: 11 total, peak 2 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| ericung | 247 | 81 | 0 | 12 |
Recent activity
Latest issues, pull requests and releases
- Issue#87ericung2024-09-18 01:59review proofs in chapter 1
- Issue#87ericung2024-07-13 19:11review proofs in chapter 1
- Issue#72ericung2024-07-13 19:11review cyclic proofs
- Issue#71ericung2024-07-13 19:11integrate theorem 17.11 with product of deciders
- Issue#67ericung2024-07-13 19:11transduction second pass and analysis
- Issue#69ericung2024-07-13 19:11unraveling theorem revise proof
- Issue#54ericung2024-07-13 19:11bell breakdown first proof
- Issue#63ericung2024-07-13 19:11mahler's problem by bell and adamczewski
- Issue#56ericung2024-07-13 19:10add notes from bell and smertnig
- Issue#85ericung2024-07-09 17:26revise multivariable deciders into rational series
- Issue#86ericung2024-07-09 17:26theorem for division
- Issue#81ericung2024-07-09 17:26continue revising chapter 1
- Issue#86ericung2024-07-06 00:32theorem for division
- Issue#82ericung2024-07-05 21:45expand chapter 1
- Issue#85ericung2024-07-05 20:02revise multivariable deciders into rational series
- Issue#84ericung2024-07-05 11:24theorem of multivariable polynomials
- Issue#83ericung2024-07-05 11:24repurpose the conjecture on multiplying matrices
- Issue#80ericung2024-07-05 11:16theorem of multiplication
- Issue#82ericung2024-07-04 14:33expand chapter 1
- Issue#81ericung2024-07-04 14:33continue revising chapter 1
- Issue#80ericung2024-07-04 14:33theorem of multiplication
- Issue#76ericung2024-07-04 14:33locally compact proofs revision 2
- Issue#79ericung2024-07-04 14:32relax a bit and figure out next proofs
- Issue#78ericung2024-07-04 14:32review unravelling theorem
- Issue#77ericung2024-07-04 14:32revise proof of addition
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 11 stars here means stars gained during the window, not the repo's star count.