Angel "Java" Lopez en Blog

Publicado el 7 de Febrero, 2021, 12:28

Anterior Post
Siguiente Post

Guillaume François Antoine Marquis de L'Hôpital
https://mathshistory.st-andrews.ac.uk/Biographies/De_LHopital/

Inductive Graphs and Functional Graph Algorithms
https://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf

Tetrahedron Solutions Finally Proved Decades After Computer Search
https://www.quantamagazine.org/mathematicians-finally-prove-rational-tetrahedron-solutions-20210202/

Marc Lackenby announces a new unknot recognition algorithm that runs in quasi-polynomial time
https://twitter.com/OxUniMaths/status/1356724980894072833
https://www.maths.ox.ac.uk/node/38304

Dynamic Rectangles are rectangles generated from the unit square
https://twitter.com/fermatslibrary/status/1129747875523645441

Renaissance Science – II
https://thonyc.wordpress.com/2021/01/27/renaissance-science-ii/

The Future of Mathematics
https://www.microsoft.com/en-us/research/video/the-future-of-mathematics/

Lean Prover Tutorial
https://leanprover.github.io/tutorial/index.html

Nos leemos!

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