Angel "Java" Lopez en Blog

Publicado el 27 de Diciembre, 2020, 15:18

Anterior Post
Siguiente Post

Elliptic and Hyperelliptic Curves: a Practical Security Analysis
https://www.microsoft.com/en-us/research/wp-content/uploads/2014/01/644.pdf

John Milnor: Spheres
https://www.youtube.com/watch?v=kQaUCDFvbjA&feature=emb_logo

Recursive Saturation
https://johncarlosbaez.wordpress.com/2020/10/13/recursive-saturation/

Modes of Convergence
https://www.johndcook.com/blog/modes_of_convergence/

Fast Cryptography in Genus 2
https://eprint.iacr.org/2012/670

Computer Scientists Break Traveling Salesperson Record
https://www.quantamagazine.org/computer-scientists-break-traveling-salesperson-record-20201008/

Riemann Surfaces
https://math.berkeley.edu/~teleman/math/Riemann.pdf

Lean Prover
https://github.com/leanprover/lean

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
https://twitter.com/ajlopez