roed314/homepage
Academic homepage
Public GitHub Catalog
Discovered Sep 30, 2026
roed314 / motivic-tori
Work on showing that the connected Neron model of a torus is definable.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#18455528GitHub System ID
roed314Organization / User
PublicVisibility
ActiveCatalog Status
More from roed314
roed314/lmfdb
L-Functions and Modular Forms Database
roed314/eigencurve-arith-progression
Project with Julia Gordon to show that the slopes of the U_p operator in the Coleman-Mazur eigencurve occur in arithmetic progressions
roed314/positive-slope-families
Paper with Rob Harron and Ander Steele