Angel "Java" Lopez en Blog

Publicado el 26 de Diciembre, 2020, 10:01

Anterior Post
Siguiente Post

An Infinite Universe of Number Systems
https://www.quantamagazine.org/how-the-towering-p-adic-numbers-work-20201019/

¿Quién dijo que la trisección del ángulo era imposible?
https://www.gaussianos.com/quien-dijo-que-la-triseccion-del-angulo-era-imposible/

Bing"s House
https://sketchesoftopology.wordpress.com/2010/03/25/bings-house/

Rubik's Cube inventor Erno Rubik breaks down the math behind the iconic toy
https://twitter.com/mashable/status/1306585446437322753

What is a number?
https://www.youtube.com/watch?v=uo1xDbsYAcU&feature=emb_logo

The Top 10 Algorithms in Applied Mathematics
https://nhigham.com/2016/03/29/the-top-10-algorithms-in-applied-mathematics/

Building the Mathematical Library of the Future
https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/

Lean (proof assistant)
https://en.wikipedia.org/wiki/Lean_(proof_assistant)

Nos leemos!

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