Login / Signup
Nirvana Coppola
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Point Sets
Elliptic Curve
Efficient Computation
Top Venues
CoRR
CPP
</>
Publications
</>
Anne Baanen
,
Alex J. Best
,
Nirvana Coppola
,
Sander R. Dahmen
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.
CPP
(2023)
Anne Baanen
,
Alex J. Best
,
Nirvana Coppola
,
Sander R. Dahmen
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.
CoRR
(2022)