@article{niven_pi39,
 ISSN = {00029890, 19300972},
 author = {Ivan Niven},
 journal = {The American Mathematical Monthly},
 number = {8},
 pages = {469--471},
 publisher = {Mathematical Association of America},
 title = {The Transcendence of $\pi$},
 volume = {46},
 year = {1939}
}

@inproceedings{bernard_pi16,
 author = {Bernard, Sophie and Bertot, Yves and Rideau, Laurence and Strub, Pierre-Yves},
 title = {Formal Proofs of Transcendence for e and Pi As an Application of Multivariate and Symmetric Polynomials},
 booktitle = {Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs},
 series = {CPP 2016},
 year = {2016},
 isbn = {978-1-4503-4127-1},
 location = {St. Petersburg, FL, USA},
 pages = {76--87},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2854065.2854072},
 doi = {10.1145/2854065.2854072},
 publisher = {ACM},
 address = {New York, NY, USA}
} 

@Article{lindemann_pi82,
author="von Lindemann, Ferdinand",
title="Ueber die {Z}ahl $\pi$",
journal="Mathematische Annalen",
year="1882",
month="Jun",
day="01",
volume="20",
number="2",
pages="213--225",
issn="1432-1807",
doi="10.1007/BF01446522",
url="https://doi.org/10.1007/BF01446522"
}

@inproceedings{bernard_lw17,
  TITLE = {{Formalization of the Lindemann-Weierstrass Theorem}},
  AUTHOR = {Bernard, Sophie},
  URL = {https://hal.inria.fr/hal-01647563},
  BOOKTITLE = {{Interactive Theorem Proving}},
  ADDRESS = {Brasilia, Brazil},
  YEAR = {2017},
  MONTH = Sep
}

