|
|
@@ -4,22 +4,17 @@
|
|
|
- Book VII, Proposition 34: Least common multiple of two numbers
|
|
|
- Book IX, Proposition 20: Proof of infinite primes
|
|
|
|
|
|
-## Reading List
|
|
|
+#### Reading Stack
|
|
|
- [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)
|
|
|
+- [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)
|
|
|
- [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/)
|
|
|
-- [Why haven't more quantum algorithms been found? - Peter Shor](https://cs.brynmawr.edu/Courses/cs380/fall2012/Shor2003.pdf)
|
|
|
- [Quantum non-equilibirum](https://en.wikipedia.org/wiki/Quantum_non-equilibrium)
|
|
|
- [Delayed-choice Quantum Eraser](https://en.wikipedia.org/wiki/Delayed-choice_quantum_eraser)
|
|
|
- [Qiskit](https://qiskit.org/textbook/ch-algorithms/deutsch-jozsa.html)
|
|
|
@@ -41,16 +36,13 @@ THEORY OF COMPUTABLE FIELDS - Rabin](https://www.ams.org/journals/tran/1960-095-
|
|
|
- [Duality (mathematics)](https://en.wikipedia.org/wiki/Duality_(mathematics))
|
|
|
- [Paper Sizes](https://en.wikipedia.org/wiki/Paper_size)
|
|
|
- [Library of Babel](https://en.wikipedia.org/wiki/The_Library_of_Babel)
|
|
|
-- [Mersenne.org](https://www.mersenne.org/)
|
|
|
- [Are all matrices diagonalizable?](https://www.imsc.res.in/~kapil/papers/matrix/index.html)
|
|
|
- [MIP\* = RE Henry Yuen Talk](https://cacm.acm.org/magazines/2021/11/256404-mip-re/fulltext)
|
|
|
- [Bertrand Paradox](https://en.wikipedia.org/wiki/Bertrand_paradox_(probability))
|
|
|
|
|
|
#### 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)
|
