|
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
| 
