%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/

%% Created for Conden Chao at 2019-12-10 22:42:23 +0800


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

@misc{Sllj2021,
       Addendum = {初稿.},
       Author = {赵晓玉},
       Language = {chinese},
       Title = {数理逻辑: 形式化方法的应用},
       Type = {Z},
       Year = {2021}}

@misc{Lsyc2017,
       Addendum = {初稿.},
       Author = {赵晓玉},
       Language = {chinese},
       Title = {\LaTeX{}中文用户实用手册},
       Type = {Z},
       Year = {2017}}

@book{Tcmf1980,
       Author = {Knuth, D. E.},
       Location = {California},
       Publisher = {Stanford University},
       Title = {The Computer Modern Family of Typefaces},
       Type = {M},
       Year = {1980}}

@misc{Imut2009,
       Author = {Knuth, D. E.},
       Date = {2009-01},
       Title = {Important Message to All Users of \TeX{}},
       Type = {Z/OL},
       Url = {https://www-cs-faculty.stanford.edu/~knuth/cm.html},
       Urldate = {2020-09-04},
       Bdsk-Url-1 = {https://www-cs-faculty.stanford.edu/~knuth/cm.html}}

@misc{Rsrm1991,
       Author = {R. Smith},
       Date = {1991-10-27},
       Title = {Readme},
       Type = {Z/OL},
       Url = {https://www.ctan.org/tex-archive/fonts/rsfs},
       Urldate = {2021-12-11},
       Bdsk-Url-1 = {https://www.ctan.org/tex-archive/fonts/rsfs}}

@misc{Uams2002,
       Author = {American~Mathematical~Society},
       Date = {2002-01},
       Title = {User's Guide to AMSFonts Version 2.2d},
       Type = {Z/OL},
       Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/amsfonts/doc/amsfndoc.pdf},
       Urldate = {2021-12-11},
       Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/amsfonts/doc/amsfndoc.pdf}}

@misc{Tnps2006,
       Author = {Linotype},
       Location = {GmbH},
       Publisher = {Linotype},
       Title = {The New Palatino{\texttrademark} Sans: A Supplement to Palatino Nova Designed by Hermann Zapf},
       Type = {Z/OL},
       Url = {http://www.linotype.co.jp/linotype%20volumes/Palatino%20Sans%20Brochure.pdf},
       Urldate = {2020-09-04},
       Year = {2006},
       Bdsk-Url-1 = {http://www.linotype.co.jp/linotype%20volumes/Palatino%20Sans%20Brochure.pdf}}

@misc{Ramf2013,
       Author = {American~Mathematical~Society},
       Date = {2013-01-14},
       Title = {Readme for \texttt{amsfonts} 3.04},
       Type = {Z/OL},
       Url = {https://www.ctan.org/tex-archive/fonts/amsfonts},
       Urldate = {2021-12-11},
       Bdsk-Url-1 = {https://www.ctan.org/tex-archive/fonts/amsfonts}}

@misc{Tdsf1998,
       Author = {O. Kummer},
       Date = {1998-09-06},
       Title = {The Doublestroke Font V1.0},
       Type = {Z/OL},
       Url = {http://www.ctex.org/documents/packages/math/dsdoc.pdf},
       Urldate = {2021-12-29},
       Bdsk-Url-1 = {http://www.ctex.org/documents/packages/math/dsdoc.pdf}}

@misc{Tpvd1997,
       Author = {O. Kummer},
       Date = {1997-07-08},
       Title = {The Preview Document},
       Type = {Z/OL},
       Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/info/symbols/blackboard/blackboard.ps},
       Urldate = {2021-12-11},
       Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/info/symbols/blackboard/blackboard.ps}}

@misc{Tmap2021,
       title={The \textsf{mathalpha}, AKA \textsf{mathalfa} Package},
       author={M. Sharpe},
       type={Z/OL},
       date={2021-11-18},
       url={https://mirrors.tuna.tsinghua.edu.cn/CTAN/macros/latex/contrib/mathalpha/doc/mathalpha-doc.pdf},
       Urldate = {2021-12-11},
       Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/macros/latex/contrib/mathalpha/doc/mathalpha-doc.pdf}}

@misc{Asfm2006,
       title={A Survey of Free Math Fonts for \TeX{} and \LaTeX{}},
       author={Hartke, S. G.},
       type={Z/OL},
       date={2006-05-06},
       url={https://mirrors.tuna.tsinghua.edu.cn/CTAN/info/Free_Math_Font_Survey/en/survey.pdf},
       Urldate = {2021-12-11},
       Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTANinfo/Free_Math_Font_Survey/en/survey.pdf}}

@misc{Rdme2021,
       Author = {A. Tsolomitis},
       Date = {2021-12-09},
       Title = {Readme},
       Type = {Z/OL},
       Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/newcomputermodern/README},
       Urldate = {2021-12-11},
       Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/newcomputermodern/README}}

@misc{Arch2020,
       Author = {E. Gregorio},
       Date = {2020-03-02},
       Title = {A Reply to ``What are \TeX{} Codes for Hebrew Letters to Be Used as Math-Mode Symbols?"},
       Type = {Z/OL},
       Url = {https://tex.stackexchange.com/a/226850/140814},
       Urldate = {2021-12-08},
       Bdsk-Url-1 = {https://tex.stackexchange.com/a/226850/140814}}

@misc{Arhi2021,
       Author = {D. Carlisle},
       Date = {2021-08-20},
       Title = {A Reply to ``How to Invoke Aleph, Beth, Gimel and Daleth Only in the Latin Modern Math Font?"},
       Type = {Z/OL},
       Url = {https://tex.stackexchange.com/a/611616/140814},
       Urldate = {2021-12-08},
       Bdsk-Url-1 = {https://tex.stackexchange.com/a/611616/140814}}

@misc{Arab2017,
       Author = {H. Oberdiek},
       Date = {2017-04-13},
       Title = {A Reply to ``How to Get Aleph and Beth Symbols in Similar Font?"},
       Type = {Z/OL},
       Url = {https://tex.stackexchange.com/a/170494/140814},
       Urldate = {2021-12-08},
       Bdsk-Url-1 = {https://tex.stackexchange.com/a/170494/140814}}

@misc{Wwdb2020,
       Author = {M. Logic},
       Date = {2020-09-04},
       Title = {Who Designed the Mathematical Blackboard Bold Letters of \AmS{}, and When?},
       Type = {Z/OL},
       Url = {https://tex.stackexchange.com/q/561380/140814},
       Urldate = {2021-12-08},
       Bdsk-Url-1 = {https://tex.stackexchange.com/q/561380/140814}}

@misc{Wdvs2020,
       Author = {E. Gregorio},
       Date = {2020-01-27},
       Title = {A Reply to ``What Does the \texttt{\textbackslash var} Prefix Stand for in \texttt{\textbackslash varphi} and \texttt{\textbackslash varepsilon} Etc?"},
       Type = {Z/OL},
       Url = {https://tex.stackexchange.com/a/304576/140814},
       Urldate = {2021-12-25},
       Bdsk-Url-1 = {https://tex.stackexchange.com/a/304576/140814}}

@misc{Tcpb2020,
       Author = {C.(赵晓玉) Chao and S. Murugaiah},
       Date = {2020-09-17},
       Title = {The \texttt{cmathbb} Package: To Call Mathematical Blackboard Bold Characters Compatible with the Computer Modern Font Family, Version 1.0},
       Type = {Z/OL},
       Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/cmathbb/doc/cmathbb.pdf},
       Urldate = {2021-12-11},
       Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/cmathbb/doc/cmathbb.pdf}}

@book{Mmil2016,
       Author = {G. Gr{\"a}tzer},
       Edition = {5},
       Location = {Cham, Heidelberg, New York, Dordrecht and London},
       Publisher = {Springer},
       Title = {More Math into \LaTeX{}},
       Type = {M},
       Year = {2016}}

@incollection{Wpga2022,
       Author = {Anonymity},
       Booktitle = {Wikipedia: The Free Eencyclopedia},
       Date = {2022-06-03},
       Location = {Florida},
       Publisher = {Wikimedia Foundation},
       Title = {Greek Alphabet},
       Type = {G/OL},
       Url = {https://en.wikipedia.org/wiki/Greek_alphabet},
       Urldate = {2022-06-23},
       Bdsk-Url-1 = {https://en.wikipedia.org/wiki/Greek_alphabet}}

@incollection{Wrog2022,
       Author = {Anonymity},
       Booktitle = {Wikipedia: The Free Eencyclopedia},
       Date = {2022-06-22},
       Location = {Florida},
       Publisher = {Wikimedia Foundation},
       Title = {Romanization of Greek},
       Type = {G/OL},
       Url = {https://en.wikipedia.org/wiki/Romanization_of_Greek},
       Urldate = {2022-06-23},
       Bdsk-Url-1 = {https://en.wikipedia.org/wiki/Romanization_of_Greek}}

@misc{Lrtg2010,
       Author = {{The Library of Congress}},
       Year = {2010},
       Title = {ALA-LC Romanization Tables: Greek},
       Type = {Z/OL},
       Url = {https://www.loc.gov/catdir/cpso/romanization/greek.pdf},
       Urldate = {2022-06-23},
       Bdsk-Url-1 = {https://www.loc.gov/catdir/cpso/romanization/greek.pdf}}

@misc{Tlgb2016,
       Author = {{Thesaurus Linguae Graecae}},
       Date = {2016-01-24},
       Title = {The TLG\textsuperscript{\textregistered} Beta Code Manual},
       Type = {Z/OL},
       Url = {http://stephanus.tlg.uci.edu/encoding/BCM.pdf},
       Urldate = {2022-06-23},
       Bdsk-Url-1 = {http://stephanus.tlg.uci.edu/encoding/BCM.pdf}}

@misc{Tnrg2005,
       Author = {Pedersen, T. T.},
       Date = {2005-07-31},
       Title = {Transliteration of Non-Roman Scripts: Greek},
       Type = {Z/OL},
       Url = {http://transliteration.eki.ee/pdf/Greek.pdf},
       Urldate = {2022-06-23},
       Bdsk-Url-1 = {http://transliteration.eki.ee/pdf/Greek.pdf}}

@misc{Tnrg1996,
       Author = {{National Geospatial-Intelligence Agency}},
       Year = {1996},
       Title = {Romanization Systems and Policies: Greek},
       Type = {Z/OL},
       Url = {https://web.archive.org/web/20130213212545/http://earth-info.nga.mil/gns/html/romanization.html},
       Urldate = {2022-06-23},
       Bdsk-Url-1 = {https://web.archive.org/web/20130213212545/http://earth-info.nga.mil/gns/html/romanization.html}}

@book{Elot2001,
 title={Information and Documentation: Conversion of Greek Characters into Latin Characters},
 author={{Hellenic Organization for Standardization}},
 date={2001-05-04},
 publisher={Hellenic Organization for Standardization},
 edition={2},
 location = {Athens},
 type={S},
 Url={https://sete.gr/files/Media/Egkyklioi/040707Latin-Greek.pdf},
 Urldate={2022-06-23},
 Bdsk-Url-1={https://sete.gr/files/Media/Egkyklioi/040707Latin-Greek.pdf},
 addendum={ELOT 743. In Greek.},
 langid={greek}}

 @book{Rung1987,
 title={Report on the Current Status of United Nations Romanization Systems for Geographical Names: Greek},
 author={{Working Group on Romanization Systems, United Nations Group of Experts on Geographical Names}},
 year={1987},
 publisher={United Nations},
 location = {New York},
 type={S},
 Url={http://www.eki.ee/wgrs/rom1_el.htm},
 Urldate={2022-06-23},
 Bdsk-Url-1={http://www.eki.ee/wgrs/rom1_el.htm}}

  @book{Idgl1999,
 title={Information and Documentation: Conversion of Greek Characters into Latin Characters},
 author={{International Organization for Standardization}},
 date={1999-05-01},
 publisher={International Organization for Standardization},
 location = {Geneva},
 type={S},
 Url={https://cornerstone.ucoz.ru/Greek_Translatiration_ISO8431997.pdf},
 Urldate={2022-06-23},
 addendum={ISO 843. Correction and reprint of the first edition in 1997.},
 Bdsk-Url-1={https://cornerstone.ucoz.ru/Greek_Translatiration_ISO8431997.pdf}}