85 lines
6.8 KiB
TeX
85 lines
6.8 KiB
TeX
|
\relax
|
||
|
|
\providecommand\hyper@newdestlabel[2]{}
|
||
|
|
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
|
||
|
|
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
|
||
|
|
\global\let\oldcontentsline\contentsline
|
||
|
|
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
|
||
|
|
\global\let\oldnewlabel\newlabel
|
||
|
|
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
|
||
|
|
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
|
||
|
|
\AtEndDocument{\ifx\hyper@anchor\@undefined
|
||
|
|
\let\contentsline\oldcontentsline
|
||
|
|
\let\newlabel\oldnewlabel
|
||
|
|
\fi}
|
||
|
|
\fi}
|
||
|
|
\global\let\hyper@last\relax
|
||
|
|
\gdef\HyperFirstAtBeginDocument#1{#1}
|
||
|
|
\providecommand\HyField@AuxAddToFields[1]{}
|
||
|
|
\providecommand\HyField@AuxAddToCoFields[2]{}
|
||
|
|
\@writefile{toc}{\contentsline {section}{\numberline {1}Preface}{1}{section.1}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {section}{\numberline {2}General comments}{1}{section.2}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Logical precision}{1}{subsection.2.1}\protected@file@percent }
|
||
|
|
\newlabel{eq:pr1}{{2.2}{1}{Logical precision}{equation.2.2}{}}
|
||
|
|
\newlabel{eq:pr1@cref}{{[equation][2][2]2.2}{[1][1][]1}}
|
||
|
|
\newlabel{eq:pr3}{{2.4}{2}{Logical precision}{equation.2.4}{}}
|
||
|
|
\newlabel{eq:pr3@cref}{{[equation][4][2]2.4}{[1][2][]2}}
|
||
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Writing style and scientific English}{3}{subsection.2.2}\protected@file@percent }
|
||
|
|
\newlabel{item:and_that}{{{{(xi)}}}{4}{Writing style and scientific English}{Item.31}{}}
|
||
|
|
\newlabel{item:and_that@cref}{{[enumi][11][]{{(xi)}}}{[1][4][]4}}
|
||
|
|
\newlabel{eq:set_with_colon_command}{{2.8}{5}{Writing style and scientific English}{equation.2.8}{}}
|
||
|
|
\newlabel{eq:set_with_colon_command@cref}{{[equation][8][2]2.8}{[1][5][]5}}
|
||
|
|
\newlabel{eq:set_without_colon_command}{{2.10}{6}{Writing style and scientific English}{equation.2.10}{}}
|
||
|
|
\newlabel{eq:set_without_colon_command@cref}{{[equation][10][2]2.10}{[1][5][]6}}
|
||
|
|
\newlabel{item:cases}{{{{(xxi)}}}{6}{Writing style and scientific English}{Item.47}{}}
|
||
|
|
\newlabel{item:cases@cref}{{[enumi][21][]{{(xxi)}}}{[1][6][]6}}
|
||
|
|
\newlabel{eq:sign_with_colon}{{2.11}{6}{Writing style and scientific English}{equation.2.11}{}}
|
||
|
|
\newlabel{eq:sign_with_colon@cref}{{[equation][11][2]2.11}{[1][6][]6}}
|
||
|
|
\newlabel{item:with_functions}{{{{(A)}}}{8}{Writing style and scientific English}{Item.84}{}}
|
||
|
|
\newlabel{item:with_functions@cref}{{[enumii][1][25]{{(A)}}}{[1][8][]8}}
|
||
|
|
\newlabel{item:without_functions}{{{{(B)}}}{8}{Writing style and scientific English}{Item.88}{}}
|
||
|
|
\newlabel{item:without_functions@cref}{{[enumii][2][25]{{(B)}}}{[1][8][]8}}
|
||
|
|
\@writefile{toc}{\contentsline {section}{\numberline {3}Precise specifications}{9}{section.3}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Structure of the document}{9}{subsection.3.1}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}\LaTeX \ header}{9}{subsection.3.2}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Main text of the document}{10}{subsection.3.3}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}\LaTeX \ environments}{11}{subsection.3.4}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.1}Remarks}{11}{subsubsection.3.4.1}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.2}Settings and frameworks}{11}{subsubsection.3.4.2}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.3}Definitions}{12}{subsubsection.3.4.3}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Definitions consisting of exactly one sentence}{12}{section*.2}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Definitions consisting of exactly two sentences}{12}{section*.3}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.4}Results}{12}{subsubsection.3.4.4}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Results consisting of exactly one sentence}{12}{section*.4}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Results consisting of exactly two sentences}{12}{section*.5}\protected@file@percent }
|
||
|
|
\newlabel{thm:example}{{3.6}{12}{}{definition.3.6}{}}
|
||
|
|
\newlabel{thm:example@cref}{{[theorem][6][3]3.6}{[1][12][]12}}
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Results consisting of more than two sentences}{13}{section*.6}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.5}Proofs}{13}{subsubsection.3.4.5}\protected@file@percent }
|
||
|
|
\newlabel{sec:beginning}{{3.4.5}{13}{The introductory paragraph of the proof}{section*.7}{}}
|
||
|
|
\newlabel{sec:beginning@cref}{{[subsubsection][5][3,4]3.4.5}{[1][13][]13}}
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{The introductory paragraph of the proof}{13}{section*.7}\protected@file@percent }
|
||
|
|
\newlabel{sec:argumentation}{{3.4.5}{13}{Argumentation sentences}{section*.8}{}}
|
||
|
|
\newlabel{sec:argumentation@cref}{{[subsubsection][5][3,4]3.4.5}{[1][13][]13}}
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Argumentation sentences}{13}{section*.8}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Type A1 argumentation sentences}{14}{section*.9}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Type A2 argumentation sentences}{15}{section*.10}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Type B1 argumentation sentences}{16}{section*.11}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{Type B2 argumentation sentences}{16}{section*.12}\protected@file@percent }
|
||
|
|
\newlabel{sec:closing}{{3.4.5}{16}{The closing sentence of the proof}{section*.13}{}}
|
||
|
|
\newlabel{sec:closing@cref}{{[subsubsection][5][3,4]3.4.5}{[1][16][]16}}
|
||
|
|
\@writefile{toc}{\contentsline {paragraph}{The closing sentence of the proof}{16}{section*.13}\protected@file@percent }
|
||
|
|
\citation{kp92}
|
||
|
|
\@writefile{toc}{\contentsline {section}{\numberline {4}An illustrative example}{17}{section.4}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Introduction}{17}{subsection.4.1}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.1}Notation}{17}{subsubsection.4.1.1}\protected@file@percent }
|
||
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.1.2}Setting}{17}{subsubsection.4.1.2}\protected@file@percent }
|
||
|
|
\newlabel{sec:setting}{{4.1.2}{17}{Setting}{subsubsection.4.1.2}{}}
|
||
|
|
\newlabel{sec:setting@cref}{{[subsubsection][2][4,1]4.1.2}{[1][17][]17}}
|
||
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Results}{17}{subsection.4.2}\protected@file@percent }
|
||
|
|
\newlabel{prop:prop1}{{4.1}{17}{Young's inequality}{definition.4.1}{}}
|
||
|
|
\newlabel{prop:prop1@cref}{{[proposition][1][4]4.1}{[1][17][]17}}
|
||
|
|
\newlabel{eq:young}{{4.1}{17}{Young's inequality}{equation.4.1}{}}
|
||
|
|
\newlabel{eq:young@cref}{{[equation][1][4]4.1}{[1][17][]17}}
|
||
|
|
\bibstyle{acm}
|
||
|
|
\bibdata{bibfile}
|