@article{Roy1992,
  author  = {Roy, Damien},
  title   = {Matrices whose coefficients are linear forms in logarithms},
  journal = {J. Number Theory},
  volume  = {41},
  year    = {1992},
  pages   = {22--47}
}

@incollection{Roy1993,
  author    = {Roy, Damien},
  title     = {On the $v$-adic independence of algebraic numbers},
  booktitle = {Advances in Number Theory ({K}ingston, 1991)},
  publisher = {Oxford Univ. Press},
  address   = {New York},
  year      = {1993},
  pages     = {441--451}
}

@incollection{Waldschmidt1988,
  author    = {Waldschmidt, Michel},
  title     = {On the transcendence methods of {G}el'fond and {S}chneider in several variables},
  booktitle = {New Advances in Transcendence Theory ({D}urham, 1986)},
  editor    = {Baker, Alan},
  publisher = {Cambridge Univ. Press},
  address   = {Cambridge},
  year      = {1988},
  pages     = {375--398}
}

@article{Waldschmidt1981,
  author  = {Waldschmidt, Michel},
  title   = {Transcendance et exponentielles en plusieurs variables},
  journal = {Invent. Math.},
  volume  = {63},
  year    = {1981},
  pages   = {97--127}
}

@incollection{Waldschmidt1984,
  author    = {Waldschmidt, Michel},
  title     = {A lower bound for the $p$-adic rank of the units of an algebraic number field},
  booktitle = {Topics in Classical Number Theory ({B}udapest, 1981)},
  series    = {Colloq. Math. Soc. J\'anos Bolyai},
  volume    = {34},
  publisher = {North-Holland},
  address   = {Amsterdam},
  year      = {1984},
  pages     = {1617--1650}
}

@book{DALAG,
  author    = {Waldschmidt, Michel},
  title     = {Diophantine Approximation on Linear Algebraic Groups},
  series    = {Grundlehren der Mathematischen Wissenschaften},
  volume    = {326},
  publisher = {Springer-Verlag},
  address   = {Berlin},
  year      = {2000},
  note      = {Chapters 5 and 8 by Damien Roy}
}

@incollection{Waldschmidt2005a,
  author    = {Waldschmidt, Michel},
  title     = {Variations on the six exponentials theorem},
  booktitle = {Algebra and Number Theory ({H}yderabad, 2003)},
  publisher = {Hindustan Book Agency},
  address   = {Delhi},
  year      = {2005},
  pages     = {338--355}
}

@article{Waldschmidt2005b,
  author  = {Waldschmidt, Michel},
  title   = {Further variations on the six exponentials theorem},
  journal = {Hardy-Ramanujan J.},
  volume  = {28},
  year    = {2005},
  pages   = {1--9}
}

@incollection{Waldschmidt2023,
  author    = {Waldschmidt, Michel},
  title     = {The four exponentials problem and {S}chanuel's conjecture},
  booktitle = {Mathematics Going Forward},
  series    = {Lecture Notes in Math.},
  volume    = {2313},
  publisher = {Springer, Cham},
  year      = {2023},
  pages     = {579--592}
}

@article{Philippon1986,
  author  = {Philippon, Patrice},
  title   = {Lemmes de z\'eros dans les groupes alg\'ebriques commutatifs},
  journal = {Bull. Soc. Math. France},
  volume  = {114},
  year    = {1986},
  pages   = {355--383},
  note    = {Errata et addenda: ibid. 115 (1987), 397--398}
}

@article{Laurent1989,
  author  = {Laurent, Michel},
  title   = {Rang $p$-adique d'unit\'es et action de groupes},
  journal = {J. Reine Angew. Math.},
  volume  = {399},
  year    = {1989},
  pages   = {81--108}
}

@article{Laurent1994,
  author  = {Laurent, Michel},
  title   = {Linear forms in two logarithms and interpolation determinants},
  journal = {Acta Arith.},
  volume  = {66},
  year    = {1994},
  number  = {2},
  pages   = {181--199}
}

@article{Serre1967,
  author  = {Serre, Jean-Pierre},
  title   = {D\'ependance d'exponentielles $p$-adiques},
  journal = {S\'eminaire Delange-Pisot-Poitou. Th\'eorie des nombres},
  volume  = {7},
  number  = {2},
  year    = {1965/66},
  note    = {Exp. No. 15, 14 pp.}
}

@article{Brumer1967,
  author  = {Brumer, Armand},
  title   = {On the units of algebraic number fields},
  journal = {Mathematika},
  volume  = {14},
  year    = {1967},
  pages   = {121--124}
}

@misc{Matev2010,
  author       = {Matev, Tzanko},
  title        = {The $p$-adic analytic subgroup theorem and applications},
  howpublished = {arXiv:1010.3156},
  year         = {2010}
}

@article{FuchsPham2015a,
  author  = {Fuchs, Clemens and Pham, Duc Hiep},
  title   = {Commutative algebraic groups and $p$-adic linear forms},
  journal = {Acta Arith.},
  volume  = {169},
  year    = {2015},
  pages   = {115--147}
}

@article{FuchsPham2015b,
  author  = {Fuchs, Clemens and Pham, Duc Hiep},
  title   = {The $p$-adic analytic subgroup theorem revisited},
  journal = {$p$-Adic Numbers Ultrametric Anal. Appl.},
  volume  = {7},
  year    = {2015},
  pages   = {143--156}
}

@article{Dasgupta2023,
  author  = {Dasgupta, Samit},
  title   = {Ranks of matrices of logarithms of algebraic numbers {I}: the theorems of {B}aker and {W}aldschmidt--{M}asser},
  journal = {Essent. Number Theory},
  volume  = {2},
  year    = {2023},
  pages   = {93--138}
}

@article{DasguptaKakde2026,
  author  = {Dasgupta, Samit and Kakde, Mahesh},
  title   = {Ranks of matrices of logarithms of algebraic numbers {II}: the matrix coefficient conjecture},
  journal = {Adv. Math.},
  volume  = {487},
  year    = {2026},
  pages   = {110753}
}

@article{Diaz2004,
  author  = {Diaz, Guy},
  title   = {Utilisation de la conjugaison complexe dans l'\'etude de la transcendance de valeurs de la fonction exponentielle usuelle},
  journal = {J. Th\'eor. Nombres Bordeaux},
  volume  = {16},
  year    = {2004},
  pages   = {535--553}
}

@article{Diaz2007,
  author  = {Diaz, Guy},
  title   = {Produits et quotients de combinaisons lin\'eaires de logarithmes de nombres alg\'ebriques: conjectures et r\'esultats partiels},
  journal = {J. Th\'eor. Nombres Bordeaux},
  volume  = {19},
  year    = {2007},
  pages   = {373--391}
}

@misc{Momot2010,
  author       = {Momot, Aleksander},
  title        = {Density of rational points on commutative group varieties and small transcendence degree},
  howpublished = {arXiv:1011.3368},
  year         = {2010}
}

@article{Jaulent2002,
  author  = {Jaulent, Jean-Fran\c{c}ois},
  title   = {Classes logarithmiques des corps totalement r\'eels},
  journal = {Acta Arith.},
  volume  = {103},
  year    = {2002},
  pages   = {1--7}
}

@article{CalegariMazur2009,
  author  = {Calegari, Frank and Mazur, Barry},
  title   = {Nearly ordinary {G}alois deformations over arbitrary number fields},
  journal = {J. Inst. Math. Jussieu},
  volume  = {8},
  year    = {2009},
  pages   = {99--177}
}

@article{BetinaDimitrov2021,
  author  = {Betina, Adel and Dimitrov, Mladen},
  title   = {Geometry of the eigencurve at {CM} points and trivial zeros of {K}atz $p$-adic {$L$}-functions},
  journal = {Adv. Math.},
  volume  = {384},
  year    = {2021},
  pages   = {107724}
}

@article{Maksoud2023,
  author  = {Maksoud, Alexandre},
  title   = {On the rank of {L}eopoldt's and {G}ross's regulator maps},
  journal = {Doc. Math.},
  volume  = {28},
  year    = {2023},
  pages   = {1441--1471}
}

@book{Robert2000,
  author    = {Robert, Alain M.},
  title     = {A Course in $p$-adic Analysis},
  series    = {Graduate Texts in Mathematics},
  volume    = {198},
  publisher = {Springer-Verlag},
  address   = {New York},
  year      = {2000}
}

@misc{KaratarakisWiedijk2026,
  author       = {Karatarakis, Michail and Wiedijk, Freek},
  title        = {A formalization of the {G}elfond--{S}chneider theorem},
  howpublished = {arXiv:2603.24823},
  year         = {2026}
}

@inproceedings{Lean4,
  author    = {de Moura, Leonardo and Ullrich, Sebastian},
  title     = {The {L}ean 4 Theorem Prover and Programming Language},
  booktitle = {Automated Deduction -- CADE 28},
  series    = {Lecture Notes in Computer Science},
  volume    = {12699},
  publisher = {Springer, Cham},
  year      = {2021},
  pages     = {625--635}
}

@inproceedings{Mathlib,
  author    = {{The mathlib Community}},
  title     = {The {L}ean Mathematical Library},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)},
  publisher = {Association for Computing Machinery},
  address   = {New York},
  year      = {2020},
  pages     = {367--381}
}

@misc{DiazModulus,
  author       = {Perassi, Carlo},
  title        = {diaz-modulus-lean: Transcendence theory in {L}ean 4},
  howpublished = {\url{https://github.com/carlok/diaz-modulus-lean}},
  year         = {2026},
  note         = {Accessed October 2026}
}

@misc{Eberl2021,
  author       = {Eberl, Manuel},
  title        = {The {H}ermite--{L}indemann--{W}eierstra{\ss} transcendence theorem},
  howpublished = {Archive of Formal Proofs, \url{https://isa-afp.org/entries/Hermite_Lindemann.html}},
  year         = {2021}
}

@inproceedings{Bernard2017,
  author    = {Bernard, Sophie},
  title     = {Formalization of the {L}indemann--{W}eierstrass theorem},
  booktitle = {Interactive Theorem Proving ({ITP} 2017)},
  series    = {Lecture Notes in Computer Science},
  volume    = {10499},
  publisher = {Springer, Cham},
  year      = {2017},
  pages     = {65--80}
}

@misc{StrongSixLean,
  author       = {Krisman, Shawn},
  title        = {A {L}ean formalization of {R}oy's strong six exponentials theorem},
  howpublished = {Preprint and Lean library, \url{https://github.com/telaviv/strong-six-exponentials}},
  year         = {2026}
}

@misc{PadicLogProducts,
  author       = {Krisman, Shawn},
  title        = {p-adic-log-products: {L}ean 4 proofs of a $p$-adic linear-subgroup theorem and of products of $p$-adic logarithms outside the linear forms in logarithms},
  howpublished = {\url{https://github.com/telaviv/p-adic-log-products}},
  year         = {2026}
}