
Registered user since Wed 30 Nov 2022
Name:Alex Best
Country:Netherlands
Affiliation:Vrije Universiteit Amsterdam
Personal website:https://alexjbest.github.io/
Twitter:https://twitter.com/alexjbest
GitHub:https://github.com/alexjbest
Contributions
CPP 2023 | Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile