Personensuche
X
?
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
3
Formalized Class Group Computations and Integral Points on ..:
, In:
?
Simons Symposia; Arithmetic Geometry, Number Theory, and Computation ,
11
Square Root Time Coleman Integration on Superelliptic Curve:
, In:
?
Simons Symposia; Arithmetic Geometry, Number Theory, and Computation ,
12
Elliptic Curves with Good Reduction Outside of the First Si..:
, In:
?
Simons Symposia; Arithmetic Geometry, Number Theory, and Computation ,
15