## Reading List
- [Number Theory meets Computability Theory](https://www.nlp-kyle.com/post/number_computability/)
- [General Recursive Functions](https://plato.stanford.edu/entries/recursive-functions/#GeneRecuFunc)
- [Wave function](https://en.wikipedia.org/wiki/Wave_function)
- [A Proof of the Kahn-Kalai Conjecture - Jinyoung Park, Huy Tuan Pham](http://Https://arxiv.org/abs/2203.17207)
- [Lindemann–Weierstrass theorem for transcendental numbers](https://en.wikipedia.org/wiki/Lindemann%E2%80%93Weierstrass_theorem)
- [Computability and Galois Fields](https://math.stackexchange.com/questions/661627/a-result-of-van-der-waerden-says-galois-theory-needs-incomputable-sets-what)
- [COMPUTABLE ALGEBRA, GENERAL THEORY AND
THEORY OF COMPUTABLE FIELDS - Rabin](https://www.ams.org/journals/tran/1960-095-02/S0002-9947-1960-0113807-4/S0002-9947-1960-0113807-4.pdf)
- [BGP Protocol](https://en.wikipedia.org/wiki/Border_Gateway_Protocol)
- [Internet Exchange Point](https://en.wikipedia.org/wiki/Internet_exchange_point)
- [BCM4352 Windows driver on Linux](https://help.ubuntu.com/community/WifiDocs/Driver/Ndiswrapper)
- [Yusha Kobo](https://shop.yushakobo.jp/en)
- [computable sets and splitting fields](https://math.stackexchange.com/questions/661627/a-result-of-van-der-waerden-says-galois-theory-needs-incomputable-sets-what) pg. 121 v.d. waerden
- [Hello Quantum](https://helloquantum.mybluemix.net/)


#  Mathematics                                                                  
- [Matrix calculus](https://en.wikipedia.org/wiki/Matrix_calculus)               
- [Small-angle approximation](https://en.wikipedia.org/wiki/Small-angle_approximation)
- [Properties of positive (semi)definite matrices](https://link.springer.com/content/pdf/bbm%3A978-0-306-47819-2%2F1.pdf)
- [Positive semidefinite cone](https://www.cse.iitk.ac.in/users/rmittal/prev_course/s14/notes/lec12.pdf)
- [Rayleigh Ritz Theorem](https://planetmath.org/rayleighritztheorem)            
- pg.79 Algebra B.L. van der Waerden - determinant of linear transformation invariant of basis
- [Multivariate Calculus](https://mathinsight.org/thread/multivar)               
- [Complex Analysis](https://complex-analysis.com/content/table_of_contents.html)
- [Principles of Mathematical Analysis Solutions (Rudin)](https://minds.wisconsin.edu/handle/1793/67009)
- [Weierstrass function](https://en.wikipedia.org/wiki/Weierstrass_function)     
- [Duality (mathematics)](https://en.wikipedia.org/wiki/Duality_(mathematics))

#### Tables
- [Table of Irreducible primtive polynomials over Galois Fields](http://fchabaud.free.fr/English/default.php?COUNT=1&FILE0=Poly)
- [Coefficients of Irreducible polynomials over GF(3)](https://oeis.org/A058944)
- [List of trigonometric identities](https://en.wikipedia.org/wiki/List_of_trigonometric_identities)
- [List of LaTeX mathematical symbols](https://oeis.org/wiki/List_of_LaTeX_mathematical_symbols)

#### Research Papers
- [Bounding the set of quantum correlations - Miguel Navascu ́es, Stefano Pironio, and Antonio Ac ́ın](https://arxiv.org/pdf/quant-ph/0607119.pdf)
- [Consequences and Limits of Nonlocal Strategies - Richard Cleve Peter Høyer Ben Toner John Watrous](https://arxiv.org/pdf/quant-ph/0404076.pdf)
- [Empirical Two-Point Correlation Functions - Lawrence J. Landau](https://link.springer.com/content/pdf/10.1007/BF00732549.pdf)
- [Locality, Bell's Theorem, and Quantum Mechanics - Peter Rastall](https://link.springer.com/content/pdf/10.1007/BF00739036.pdf)
- [INFORMATION, PHYSICS, QUANTUM: THE SEARCH FOR LINKS - John Archibald Wheeler](https://philpapers.org/archive/WHEIPQ.pdf)

#  Computer Science                                                             
- [Applied Mathematical Programming](http://web.mit.edu/15.053/www/AMP.htm)      
- [The Lost Art of Structure Packing](http://www.catb.org/esr/structure-packing/)
- [Firewall](https://en.wikipedia.org/wiki/Firewall_(computing))
- [Reverse Proxy](https://en.wikipedia.org/wiki/Reverse_proxy)