diff --git a/docs/phd/bibliography.bib b/docs/phd/bibliography.bib
index 738bf1149e..8f029ea74c 100644
--- a/docs/phd/bibliography.bib
+++ b/docs/phd/bibliography.bib
@@ -1598,24 +1598,6 @@ @book{coxeter1973regular
   isbn      = {978-0-486-61480-9}
 }
 
-@book{coxeter1973regular,
-  author    = {Coxeter, H. S. M.},
-  title     = {Regular Polytopes},
-  edition   = {3rd},
-  year      = {1973},
-  publisher = {Dover Publications},
-  address   = {New York},
-  isbn      = {978-0-486-61480-9}
-}
-
-@book{kepler_harmonices,
-  author    = {Kepler, Johannes},
-  title     = {Harmonices Mundi},
-  year      = {1619},
-  publisher = {Linz: Johann Planck},
-  note      = {English transl. by E. J. Aiton, A. M. Duncan, and J. V. Field, American Philosophical Society, 1997}
-}
-
 @article{poinsot1810memoire,
   author    = {Poinsot, Louis},
   title     = {Mémoire sur les polygones et les polyèdres},
@@ -1635,16 +1617,6 @@ @article{cauchy1813recherches
   pages     = {68--86}
 }
 
-@book{coxeter1973regular,
-  author    = {Coxeter, H. S. M.},
-  title     = {Regular Polytopes},
-  edition   = {3rd},
-  year      = {1973},
-  publisher = {Dover Publications},
-  address   = {New York},
-  isbn      = {978-0-486-61480-9}
-}
-
 @book{hogg_numbers,
   author    = {Hogg, V.},
   title     = {Number Theory},
@@ -1652,33 +1624,6 @@ @book{hogg_numbers
   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,
@@ -1829,14 +1774,6 @@ @article{euler1736e
   note      = {First systematic use of $e$ as the base of the natural logarithm}
 }
 
-@book{coxeter1973regular,
-  author    = {H. S. M. Coxeter},
-  title     = {Regular Polytopes},
-  publisher = {Dover Publications},
-  edition   = {Third},
-  year      = {1973},
-  address   = {New York},
-  note      = {Reprint of the 1948 first edition; classic treatise on regular and stellated polytopes in all dimensions.}
 % --- LB-Springer top-up (2026-04-26) — 19 entries to close R11-SPRINGER
 %% lb_springer_appendix.bib
 %% LB-Springer bibliography appendix — LANE LB top-up for trios#265