hillaxiom

Open-source computational search platform for discovering and rigorously studying high-rank elliptic curves.

Lava brings exact arithmetic geometry to an interactive, Magma-style workspace for elliptic curves and beyond.