This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
https://youtu.be/rQwnOZFuYsU | |
In this video I use the animation tools in the matplotlib Python library | |
to help create a dynamic graph as seen in the Washington Post article | |
"Why outbreaks like coronavirus spread exponentially, and how to 'flatten the curve'". | |
Andrej Bauers code: | |
https://github.com/andrejbauer/social-distancing-simulator | |
Help translate it into more languages and tell Andrej I sent you. | |
Andrej Bauers page: | |
https://social-distancing-simulator.andrej.com/english.html |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
https://youtu.be/gBMdTSXhYsY | |
---- | |
https://en.wikipedia.org/wiki/3D_rotation_group | |
https://en.wikipedia.org/wiki/Rotation_(mathematics) | |
https://en.wikipedia.org/wiki/Rotation_formalisms_in_three_dimensions | |
https://en.wikipedia.org/wiki/Rotation_matrix | |
https://en.wikipedia.org/wiki/Euler%27s_rotation_theorem | |
https://en.wikipedia.org/wiki/Axis%E2%80%93angle_representation |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
The script used in this video presentation: | |
https://youtu.be/E7V36JvHbsA | |
Relevant Wikipedia pages: | |
https://en.wikipedia.org/wiki/Exponential_function | |
https://en.wikipedia.org/wiki/Matrix_exponential | |
https://en.wikipedia.org/wiki/Logarithm_of_a_matrix | |
https://en.wikipedia.org/wiki/Baker%E2%80%93Campbell%E2%80%93Hausdorff_formula |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Video in which this page is discussed: | |
https://youtu.be/jckyLXSWgZM | |
===== Euler formlua ===== | |
$z,t\in{\mathbb C}$. Recall | |
$\cosh(z):=\sum_{k=0}^\infty\frac{z^{2k}}{(2k)!}$ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Pitch | |
https://blog.wolfram.com/ | |
https://blog.wolfram.com/2020/04/14/finally-we-may-have-a-path-to-the-fundamental-theory-of-physics-and-its-beautiful/ | |
(Also posted below) | |
Computational generation of "universes". | |
## related | |
https://en.wikipedia.org/wiki/Conway%27s_Game_of_Life |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
Script discussed in this video: | |
https://youtu.be/Fl3XgPpvSNI | |
https://en.wikipedia.org/wiki/Riemann_zeta_function | |
http://www.claymath.org/sites/default/files/ezeta.pdf | |
http://www.claymath.org/sites/default/files/zeta.pdf | |
Note: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Those are the notes that I got through in the video here: | |
https://youtu.be/sIy9pD4sTVA | |
########## Links: | |
https://arxiv.org/abs/2004.05631 | |
https://youtu.be/wiadG3ywJIs |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This is my notes to the paper presented in the video | |
https://youtu.be/Pp85jeBCDmc | |
And here's some of the other links shown in the video: | |
https://en.wikipedia.org/wiki/Mathematical_knowledge_management | |
https://arxiv.org/pdf/1912.03028.pdf (A Survey on Theorem Provers in Formal | |
Methods) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html lang="en"> | |
<head> | |
<meta charset="UTF-8"> | |
<script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> | |
<!-- The following three lines are optional and taken directly from https://getbootstrap.com/docs/3.4/getting-started/> | |
<!-- Latest compiled and minified CSS --> | |
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/3.4.1/css/bootstrap.min.css" integrity="sha384-HSMxcRTRxnN+Bdg0JdbxYKrThecOKuH5zCYotlSAcp1+c8xmyTe9GYg1l9a69psu" crossorigin="anonymous"> |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
Video | |
https://youtu.be/soHBNEJlzL0 | |
---- | |
https://arxiv.org/pdf/1301.0129.pdf | |
http://www.cse.unt.edu/~tarau/ | |
https://www.youtube.com/channel/UCnR2ZTsDZQt5bHpbqo9k77A |