Skip to content

Pull requests: motanova84/adelic-bsd

New pull request New
82 Open 174 Closed
82 Open 174 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

[WIP] Introduce falsifiable hypothesis connecting biology and number theory
#241 opened Jan 27, 2026 by Copilot AI Loading…
@motanova84
3
[WIP] Add spectral BSD verification with over 10000 validated curves
#239 opened Jan 19, 2026 by Copilot AI Loading…
@motanova84
6
[WIP] Add Mapa de Coherencia for πCODE connections
#237 opened Jan 12, 2026 by Copilot AI Loading…
@motanova84
5
Implement exact version pinning and ENV.lock for reproducibility and data integrity
#234 opened Jan 6, 2026 by Copilot AI Loading…
@motanova84
3
[WIP] Fix error in resonance theorem for p=17
#222 opened Dec 3, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Correct theorem for ResonanceP17 based on validation results
#221 opened Dec 3, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Add proof for leading term of L function
#218 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Add leading term equality theorem for L-functions
#217 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
4
[WIP] Add structure for spectral curve data
#216 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Add kernel models rational points theorem
#215 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Formalize the bridge between spectral kernel and rational points
#214 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Add AdelicSpectralOperator structure and conjectures
#213 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Relate kernel of adelic spectral operator to rational points
#211 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Formalize rank identity from spectral lemma
#210 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Formal proof of leading term equality in BSD conjecture
#209 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Add leading term theorem for BSD conjecture
#208 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
2
[WIP] Add rank identity lemma for elliptic curves
#206 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Add kernel models for rational points on elliptic curves
#205 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Add Fredholm determinant proof and lemmas
#204 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Formalize fredholm vanishing kernel dimension in Mathlib
#203 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
2
[WIP] Add lemma for rank identity from spectral operator
#202 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Add Fredholm determinant implementation in Lean
#201 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Add Fredholm determinant for trace-class operators
#200 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
1
[WIP] Update leading coefficient lemma in BSD final project
#199 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
2
[WIP] Add spectral identity structure implementation
#197 opened Nov 30, 2025 by Copilot AI Loading…
@motanova84
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.