Published package / CLIR

gross_zagier.heegner_points_1986

v0.1.0

Gross-Zagier (1986): Heegner points -- analytic rank 1, modularity, and a satisfied Heegner hypothesis together give an infinite-order rational point