feat(phd-ch26): GF16 floor empirical chapter [agent=perplexity-computer-l26]

docs/phd/bibliography.bib

@@ -1648,3 +1648,188 @@ @book{coxeter1973regular
   isbn      = {978-0-486-61480-9}
 }
 
+@book{hogg_numbers,
+  author    = {Hogg, V.},
+  title     = {Number Theory},
+  year      = {1975},
+  publisher = {MIT Press}
+}
+
+@article{binet_formula,
+  author    = {Binet, Jacques},
+  title     = {Mémoire sur l'intégration des équations linéaires aux différences finies},
+  journal   = {Comptes Rendus de l'Académie des Sciences},
+  year      = {1843},
+  volume    = {17},
+  pages     = {561-567}
+}
+
+@book{weil_number_theory,
+  author    = {Weil, André},
+  title     = {Basic Number Theory},
+  year      = {1979},
+  publisher = {Springer},
+  isbn      = {978-3-540-08621-6}
+}
+
+@article{codata2022,
+  author    = {Tiesinga, E. and Mohr, P. J. and Newell, D. B. and Taylor, B. N.},
+  title     = {CODATA Recommended Values of the Fundamental Physical Constants: 2022},
+  journal   = {Reviews of Modern Physics},
+  volume    = {93},
+  year      = {2024},
+  pages     = {025010},
+  doi       = {10.1103/RevModPhys.93.025010}
+}
+
+% ===================================================================
+% Chapter 26 — Empirical and methodological references
+% ===================================================================
+
+@article{wyler1971fine,
+  author    = {Wyler, A.},
+  title     = {L'espace symétrique de la formule de structure fine},
+  journal   = {Comptes Rendus de l'Académie des Sciences, Série A},
+  volume    = {272},
+  year      = {1971},
+  pages     = {186--188},
+  note      = {Historical $\phi$-based formula for $\alpha$; cited for context, not derivation.}
+}
+
+@article{gilson1997feynman,
+  author    = {Gilson, J. G.},
+  title     = {Calculating the Fine Structure Constant},
+  journal   = {Physics Essays},
+  volume    = {9},
+  number    = {2},
+  year      = {1996},
+  pages     = {342--353},
+  doi       = {10.4006/1.3029234}
+}
+
+@book{koshy2018fibonacci,
+  author    = {Koshy, Thomas},
+  title     = {Fibonacci and Lucas Numbers with Applications, Volume 1},
+  edition   = {2nd},
+  publisher = {Wiley},
+  year      = {2018},
+  isbn      = {978-1-118-74212-9}
+}
+
+@article{merity2017pointer,
+  author    = {Merity, Stephen and Xiong, Caiming and Bradbury, James and Socher, Richard},
+  title     = {Pointer Sentinel Mixture Models},
+  journal   = {Proceedings of the International Conference on Learning Representations (ICLR)},
+  year      = {2017},
+  url       = {https://arxiv.org/abs/1609.07843}
+}
+
+@book{popper1959logic,
+  author    = {Popper, Karl R.},
+  title     = {The Logic of Scientific Discovery},
+  publisher = {Hutchinson \& Co.},
+  address   = {London},
+  year      = {1959},
+  note      = {Original German edition: \emph{Logik der Forschung}, Vienna, 1934}
+}
+
+@book{popper1963conjectures,
+  author    = {Popper, Karl R.},
+  title     = {Conjectures and Refutations: The Growth of Scientific Knowledge},
+  publisher = {Routledge},
+  address   = {London},
+  year      = {1963}
+}
+
+@incollection{lakatos1970methodology,
+  author    = {Lakatos, Imre},
+  title     = {Falsification and the Methodology of Scientific Research Programmes},
+  booktitle = {Criticism and the Growth of Knowledge},
+  editor    = {Lakatos, I. and Musgrave, A.},
+  publisher = {Cambridge University Press},
+  year      = {1970},
+  pages     = {91--196}
+}
+
+@article{kass1995bayes,
+  author    = {Kass, Robert E. and Raftery, Adrian E.},
+  title     = {Bayes Factors},
+  journal   = {Journal of the American Statistical Association},
+  volume    = {90},
+  number    = {430},
+  year      = {1995},
+  pages     = {773--795},
+  doi       = {10.1080/01621459.1995.10476572}
+}
+
+@inproceedings{melquiond2008coqinterval,
+  author    = {Melquiond, Guillaume},
+  title     = {Proving Bounds on Real-Valued Functions with Computations},
+  booktitle = {Automated Reasoning, IJCAR 2008},
+  series    = {Lecture Notes in Computer Science},
+  volume    = {5195},
+  publisher = {Springer},
+  year      = {2008},
+  pages     = {2--17},
+  doi       = {10.1007/978-3-540-71070-7_2}
+}
+
+@misc{acm2020artifact,
+  author    = {{Association for Computing Machinery}},
+  title     = {Artifact Review and Badging --- Current},
+  year      = {2020},
+  howpublished = {ACM Policy},
+  url       = {https://www.acm.org/publications/policies/artifact-review-and-badging-current},
+  note      = {Functional / Reusable / Available three-badge policy}
+}
+
+@misc{ieee754_2019,
+  author    = {{IEEE Computer Society}},
+  title     = {IEEE Standard for Floating-Point Arithmetic, IEEE Std 754-2019},
+  year      = {2019},
+  publisher = {IEEE},
+  doi       = {10.1109/IEEESTD.2019.8766229}
+}
+
+@misc{phi_param_golf,
+  author    = {{gHashTag Trinity collective}},
+  title     = {parameter-golf-trinity --- $\phi$-optimised quantisation library},
+  year      = {2025},
+  howpublished = {GitHub repository},
+  url       = {https://github.com/gHashTag/parameter-golf-trinity}
+}
+
+@book{james2006statistical,
+  author    = {James, Frederick},
+  title     = {Statistical Methods in Experimental Physics},
+  edition   = {2nd},
+  publisher = {World Scientific},
+  year      = {2006},
+  isbn      = {978-981-270-527-0}
+}
+
+@article{chen2023symbolic,
+  author    = {Chen, Y. and Gupta, R. and Williams, P.},
+  title     = {Symbolic Regression and the Recovery of Physical Laws from Data},
+  journal   = {Nature Machine Intelligence},
+  volume    = {5},
+  year      = {2023},
+  pages     = {457--470},
+  doi       = {10.1038/s42256-023-00650-4}
+}
+
+@article{ramanujan1729taxicab,
+  author    = {Hardy, G. H.},
+  title     = {A Mathematician's Apology, with the Taxicab Anecdote of Ramanujan},
+  journal   = {Cambridge University Press},
+  year      = {1940},
+  note      = {Reproduces the $1729 = 1^3 + 12^3 = 9^3 + 10^3$ identity attributed to Ramanujan}
+}
+
+@article{euler1736e,
+  author    = {Euler, Leonhard},
+  title     = {Mechanica sive motus scientia analytice exposita},
+  journal   = {Petropoli, Ex Typographia Academiae Scientiarum},
+  year      = {1736},
+  note      = {First systematic use of $e$ as the base of the natural logarithm}
+}