Nirvana Coppola

According to our database, Nirvana Coppola authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.

Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023