%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Larry Paulson at 2022-01-06 13:07:25 +0000 


%% Saved with string encoding Unicode (UTF-8) 



@article{Hermite_Lindemann-AFP,
	author = {Manuel Eberl},
	date-added = {2022-01-06 13:05:35 +0000},
	date-modified = {2022-01-06 13:07:13 +0000},
	issn = {2150-914x},
	journal = {Archive of Formal Proofs},
	month = mar,
	note = {\url{https://isa-afp.org/entries/Hermite_Lindemann.html}, Formal proof development},
	title = {The {Hermite}--{Lindemann}--{Weierstra{\ss}} Transcendence Theorem},
	year = 2021}

@article{Stirling_Formula-AFP,
	author = {Manuel Eberl},
	date-added = {2022-01-06 12:03:13 +0000},
	date-modified = {2022-01-06 12:03:13 +0000},
	issn = {2150-914x},
	journal = {Archive of Formal Proofs},
	month = sep,
	note = {\url{https://isa-afp.org/entries/Stirling_Formula.html}, Formal proof development},
	title = {Stirling's formula},
	year = 2016}

@book{aigner-proofs,
	author = {M. Aigner and G. M. Ziegler},
	booktitle = {Proofs from THE BOOK},
	date-added = {2022-01-06 11:42:58 +0000},
	date-modified = {2022-01-06 13:07:25 +0000},
	edition = {6th},
	publisher = {Springer},
	title = {Proofs from THE BOOK},
	year = {2018}}
