%% 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}}