@book{baker,
  series={Cambridge Mathematical Library},
  title={Transcendental Number Theory},
  DOI={10.1017/CBO9780511565977},
  isbn={9780521397919},
  publisher={Cambridge University Press},
  author={Baker, Alan},
  year={1975},
}

@article{redheffer_steinberg,
author = {Robert Steinberg and Raymond Moos Redheffer},
title = {Analytic proof of the {L}indemann theorem},
volume = {2},
journal = {Pacific Journal of Mathematics},
number = {2},
pages = {231--242},
year = {1952},
doi = {10.2140/pjm.1952.2.231}
}


@inproceedings{bernard,
  author    = {Sophie Bernard},
  editor    = {Mauricio Ayala{-}Rinc{\'{o}}n and
               C{\'{e}}sar A. Mu{\~{n}}oz},
  title     = {Formalization of the {L}indemann-{W}eierstrass Theorem},
  booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
               2017, Bras{\'i}lia, Brazil, September 26-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10499},
  pages     = {65--80},
  publisher = {Springer},
  year      = {2017},
  doi       = {10.1007/978-3-319-66107-0_5}
}