Angel "Java" Lopez en Blog

8 de Marzo, 2019


Publicado el 8 de Marzo, 2019, 12:01

Anterior Post
Siguiente Post

Möbius Strips Defy a Link With Infinity
https://www.quantamagazine.org/mobius-strips-defy-a-link-with-infinity-20190220/

Mills' constant
https://en.wikipedia.org/wiki/Mills%27_constant

Chaos on the interval
https://www.math.u-psud.fr/~ruette/articles/chaos-int.pdf

Elliptic Curves Divisors
https://crypto.stanford.edu/pbc/notes/elliptic/divisor.html

A lattice is a set with operations
https://twitter.com/johncarlosbaez/status/1097197827791306752

Yet Another Single Law for Lattices
https://arxiv.org/abs/math/0307284

Lattice (order)
https://en.wikipedia.org/wiki/Lattice_(order)

Formalization of Mathematics in Type Theory
http://drops.dagstuhl.de/opus/volltexte/2019/10237/pdf/dagrep_v008_i008_p130_18341.pdf

Nos leemos!

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