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