|
|
@@ -64,6 +64,7 @@ ___
|
|
|
- [Using VIM to Write LaTeX in 2021 ](https://newptcai.gitlab.io/blog/vim-and-latex/)
|
|
|
- [Why Mathematical Proof Is a Social Compact](https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/)
|
|
|
- [On Proof and Progress in Mathematics](https://www.math.toronto.edu/mccann/199/thurston.pdf) - William P. Thurston
|
|
|
+- [Simultaneous localization and mapping](https://en.wikipedia.org/wiki/Simultaneous_localization_and_mapping)
|
|
|
|
|
|
## [Mathematics and Theoretical Computer Science](mathematics.md)
|
|
|
- [OEIS: The Online Encyclopedia of Integer Sequences](https://oeis.org/)
|
