doc/papers/Dateso2010/llncs.cls
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 25 Jan 2016 16:35:43 +0000
changeset 298 9696f76605bd
parent 193 404c5b07df33
permissions -rw-r--r--
Added C:\MINGW\MSYS\1.0\bin to PATH when building expat. Some systems have it installed there (such as SWING Jenkins servers)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
193
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     1
% LLNCS DOCUMENT CLASS -- version 2.13 (28-Jan-2002)
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     2
% Springer Verlag LaTeX2e support for Lecture Notes in Computer Science
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     3
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     4
%%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     5
%% \CharacterTable
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     6
%%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     7
%%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     8
%%   Digits        \0\1\2\3\4\5\6\7\8\9
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     9
%%   Exclamation   \!     Double quote  \"     Hash (number) \#
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    10
%%   Dollar        \$     Percent       \%     Ampersand     \&
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    11
%%   Acute accent  \'     Left paren    \(     Right paren   \)
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    12
%%   Asterisk      \*     Plus          \+     Comma         \,
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    13
%%   Minus         \-     Point         \.     Solidus       \/
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    14
%%   Colon         \:     Semicolon     \;     Less than     \<
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    15
%%   Equals        \=     Greater than  \>     Question mark \?
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    16
%%   Commercial at \@     Left bracket  \[     Backslash     \\
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    17
%%   Right bracket \]     Circumflex    \^     Underscore    \_
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    18
%%   Grave accent  \`     Left brace    \{     Vertical bar  \|
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    19
%%   Right brace   \}     Tilde         \~}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    20
%%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    21
\NeedsTeXFormat{LaTeX2e}[1995/12/01]
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    22
\ProvidesClass{llncs}[2002/01/28 v2.13
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    23
^^J LaTeX document class for Lecture Notes in Computer Science
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    24
^^J Czech option - Jiri Dvorsky, 2002]
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    25
% Options
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    26
\let\if@envcntreset\iffalse
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    27
\DeclareOption{envcountreset}{\let\if@envcntreset\iftrue}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    28
\DeclareOption{citeauthoryear}{\let\citeauthoryear=Y}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    29
\DeclareOption{oribibl}{\let\oribibl=Y}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    30
\let\if@custvec\iftrue
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    31
\DeclareOption{orivec}{\let\if@custvec\iffalse}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    32
\let\if@envcntsame\iffalse
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    33
\DeclareOption{envcountsame}{\let\if@envcntsame\iftrue}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    34
\let\if@envcntsect\iffalse
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    35
\DeclareOption{envcountsect}{\let\if@envcntsect\iftrue}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    36
\let\if@runhead\iffalse
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    37
\DeclareOption{runningheads}{\let\if@runhead\iftrue}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    38
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    39
\let\if@openbib\iffalse
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    40
\DeclareOption{openbib}{\let\if@openbib\iftrue}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    41
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    42
%JD
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    43
\let\if@czlang\iffalse
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    44
\DeclareOption{czech}{\typeout{Czech language on}\let\if@czlang\iftrue}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    45
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    46
% languages
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    47
\let\switcht@@therlang\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    48
\def\ds@deutsch{\def\switcht@@therlang{\switcht@deutsch}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    49
\def\ds@francais{\def\switcht@@therlang{\switcht@francais}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    50
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    51
\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    52
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    53
\ProcessOptions
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    54
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    55
\LoadClass[twoside]{article}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    56
\RequirePackage{multicol} % needed for the list of participants, index
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    57
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    58
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    59
\setlength{\textwidth}{12.2cm}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    60
\setlength{\textheight}{19.3cm}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    61
\renewcommand\@pnumwidth{2em}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    62
\renewcommand\@tocrmarg{3.5em}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    63
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    64
\def\@dottedtocline#1#2#3#4#5{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    65
  \ifnum #1>\c@tocdepth \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    66
    \vskip \z@ \@plus.2\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    67
    {\leftskip #2\relax \rightskip \@tocrmarg \advance\rightskip by 0pt plus 2cm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    68
               \parfillskip -\rightskip \pretolerance=10000
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    69
     \parindent #2\relax\@afterindenttrue
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    70
     \interlinepenalty\@M
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    71
     \leavevmode
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    72
     \@tempdima #3\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    73
     \advance\leftskip \@tempdima \null\nobreak\hskip -\leftskip
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    74
     {#4}\nobreak
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    75
     \leaders\hbox{$\m@th
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    76
        \mkern \@dotsep mu\hbox{.}\mkern \@dotsep
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    77
        mu$}\hfill
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    78
     \nobreak
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    79
     \hb@xt@\@pnumwidth{\hfil\normalfont \normalcolor #5}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    80
     \par}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    81
  \fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    82
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    83
\def\switcht@albion{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    84
\def\abstractname{Abstract.}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    85
\def\ackname{Acknowledgement.}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    86
\def\andname{and}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    87
\def\lastandname{\unskip, and}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    88
\def\appendixname{Appendix}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    89
\def\chaptername{Chapter}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    90
\def\claimname{Claim}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    91
\def\conjecturename{Conjecture}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    92
\def\contentsname{Table of Contents}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    93
\def\corollaryname{Corollary}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    94
\def\definitionname{Definition}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    95
\def\examplename{Example}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    96
\def\exercisename{Exercise}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    97
\def\figurename{Fig.}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    98
\def\keywordname{{\bf Key words:}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    99
\def\indexname{Index}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   100
\def\lemmaname{Lemma}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   101
\def\contriblistname{List of Contributors}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   102
\def\listfigurename{List of Figures}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   103
\def\listtablename{List of Tables}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   104
\def\mailname{{\it Correspondence to\/}:}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   105
\def\noteaddname{Note added in proof}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   106
\def\notename{Note}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   107
\def\partname{Part}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   108
\def\problemname{Problem}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   109
\def\proofname{Proof}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   110
\def\propertyname{Property}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   111
\def\propositionname{Proposition}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   112
\def\questionname{Question}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   113
\def\remarkname{Remark}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   114
\def\seename{see}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   115
\def\solutionname{Solution}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   116
\def\subclassname{{\it Subject Classifications\/}:}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   117
\def\tablename{Table}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   118
\def\theoremname{Theorem}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   119
\switcht@albion
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   120
% Names of theorem like environments are already defined
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   121
% but must be translated if another language is chosen
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   122
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   123
% French section
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   124
\def\switcht@francais{%\typeout{On parle francais.}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   125
 \def\abstractname{R\'esum\'e.}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   126
 \def\ackname{Remerciements.}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   127
 \def\andname{et}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   128
 \def\lastandname{ et}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   129
 \def\appendixname{Appendice}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   130
 \def\chaptername{Chapitre}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   131
 \def\claimname{Pr\'etention}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   132
 \def\conjecturename{Hypoth\`ese}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   133
 \def\contentsname{Table des mati\`eres}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   134
 \def\corollaryname{Corollaire}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   135
 \def\definitionname{D\'efinition}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   136
 \def\examplename{Exemple}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   137
 \def\exercisename{Exercice}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   138
 \def\figurename{Fig.}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   139
 \def\keywordname{{\bf Mots-cl\'e:}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   140
 \def\indexname{Index}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   141
 \def\lemmaname{Lemme}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   142
 \def\contriblistname{Liste des contributeurs}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   143
 \def\listfigurename{Liste des figures}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   144
 \def\listtablename{Liste des tables}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   145
 \def\mailname{{\it Correspondence to\/}:}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   146
 \def\noteaddname{Note ajout\'ee \`a l'\'epreuve}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   147
 \def\notename{Remarque}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   148
 \def\partname{Partie}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   149
 \def\problemname{Probl\`eme}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   150
 \def\proofname{Preuve}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   151
 \def\propertyname{Caract\'eristique}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   152
%\def\propositionname{Proposition}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   153
 \def\questionname{Question}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   154
 \def\remarkname{Remarque}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   155
 \def\seename{voir}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   156
 \def\solutionname{Solution}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   157
 \def\subclassname{{\it Subject Classifications\/}:}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   158
 \def\tablename{Tableau}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   159
 \def\theoremname{Th\'eor\`eme}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   160
}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   161
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   162
% German section
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   163
\def\switcht@deutsch{%\typeout{Man spricht deutsch.}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   164
 \def\abstractname{Zusammenfassung.}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   165
 \def\ackname{Danksagung.}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   166
 \def\andname{und}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   167
 \def\lastandname{ und}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   168
 \def\appendixname{Anhang}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   169
 \def\chaptername{Kapitel}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   170
 \def\claimname{Behauptung}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   171
 \def\conjecturename{Hypothese}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   172
 \def\contentsname{Inhaltsverzeichnis}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   173
 \def\corollaryname{Korollar}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   174
%\def\definitionname{Definition}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   175
 \def\examplename{Beispiel}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   176
 \def\exercisename{\"Ubung}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   177
 \def\figurename{Abb.}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   178
 \def\keywordname{{\bf Schl\"usselw\"orter:}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   179
 \def\indexname{Index}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   180
%\def\lemmaname{Lemma}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   181
 \def\contriblistname{Mitarbeiter}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   182
 \def\listfigurename{Abbildungsverzeichnis}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   183
 \def\listtablename{Tabellenverzeichnis}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   184
 \def\mailname{{\it Correspondence to\/}:}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   185
 \def\noteaddname{Nachtrag}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   186
 \def\notename{Anmerkung}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   187
 \def\partname{Teil}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   188
%\def\problemname{Problem}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   189
 \def\proofname{Beweis}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   190
 \def\propertyname{Eigenschaft}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   191
%\def\propositionname{Proposition}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   192
 \def\questionname{Frage}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   193
 \def\remarkname{Anmerkung}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   194
 \def\seename{siehe}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   195
 \def\solutionname{L\"osung}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   196
 \def\subclassname{{\it Subject Classifications\/}:}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   197
 \def\tablename{Tabelle}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   198
%\def\theoremname{Theorem}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   199
}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   200
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   201
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   202
% JD
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   203
% Czech section
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   204
\def\switcht@czech{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   205
\def\abstractname{Abstrakt.}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   206
\def\ackname{Pod\v{e}kov\'an\'{\i}.}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   207
\def\andname{a}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   208
\def\lastandname{ a}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   209
\def\appendixname{P\v{r}\'{\i}loha}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   210
\def\chaptername{Kapitola}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   211
\def\claimname{Tvrzen\'{\i}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   212
\def\conjecturename{Hypot\'eza} % Conjecture
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   213
\def\contentsname{Obsah}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   214
\def\corollaryname{D\accent23usledek}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   215
\def\definitionname{Definice}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   216
\def\examplename{P\v{r}\'{\i}klad}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   217
\def\exercisename{Cvi\v{c}en\'{\i}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   218
\def\figurename{Obr.}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   219
\def\keywordname{{\bf Kl\'{\i}\v{c}ov\'a slova:}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   220
\def\indexname{Rejst\v{r}\'{\i}k}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   221
\def\lemmaname{Lemma}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   222
\def\contriblistname{Seznam p\v{r}isp\v{e}vatel\accent23u} % List of Contributors
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   223
\def\listfigurename{Seznam obr\'azk\accent23u}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   224
\def\listtablename{Seznam tabulek}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   225
\def\mailname{{\it Korespondence na\/}:}  % Correspondence to
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   226
\def\noteaddname{Pozn\'amka k d\accent23ukazu}  % Note added in proof
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   227
\def\notename{Pozn\'amka}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   228
\def\partname{D\'{\i}l}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   229
\def\problemname{Probl\'em}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   230
\def\proofname{D\accent23ukaz}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   231
\def\propertyname{Vlastnost}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   232
\def\propositionname{V\v{e}ta} % Proposition
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   233
\def\questionname{Ot\'azka}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   234
\def\remarkname{Pozn\'amka}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   235
\def\seename{viz}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   236
\def\solutionname{\v{R}e\v{s}en\'{\i}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   237
\def\subclassname{{\it Klasifikace subjektu\/}:} % Subject Classifications
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   238
\def\tablename{Tabulka}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   239
\def\theoremname{V\v{e}ta}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   240
}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   241
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   242
% Ragged bottom for the actual page
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   243
\def\thisbottomragged{\def\@textbottom{\vskip\z@ plus.0001fil
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   244
\global\let\@textbottom\relax}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   245
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   246
\renewcommand\small{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   247
   \@setfontsize\small\@ixpt{11}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   248
   \abovedisplayskip 8.5\p@ \@plus3\p@ \@minus4\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   249
   \abovedisplayshortskip \z@ \@plus2\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   250
   \belowdisplayshortskip 4\p@ \@plus2\p@ \@minus2\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   251
   \def\@listi{\leftmargin\leftmargini
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   252
               \parsep 0\p@ \@plus1\p@ \@minus\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   253
               \topsep 8\p@ \@plus2\p@ \@minus4\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   254
               \itemsep0\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   255
   \belowdisplayskip \abovedisplayskip
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   256
}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   257
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   258
\frenchspacing
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   259
\widowpenalty=10000
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   260
\clubpenalty=10000
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   261
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   262
\setlength\oddsidemargin   {63\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   263
\setlength\evensidemargin  {63\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   264
\setlength\marginparwidth  {90\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   265
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   266
\setlength\headsep   {16\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   267
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   268
\setlength\footnotesep{7.7\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   269
\setlength\textfloatsep{8mm\@plus 2\p@ \@minus 4\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   270
\setlength\intextsep   {8mm\@plus 2\p@ \@minus 2\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   271
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   272
\setcounter{secnumdepth}{2}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   273
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   274
\newcounter {chapter}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   275
\renewcommand\thechapter      {\@arabic\c@chapter}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   276
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   277
\newif\if@mainmatter \@mainmattertrue
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   278
\newcommand\frontmatter{\cleardoublepage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   279
            \@mainmatterfalse\pagenumbering{Roman}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   280
\newcommand\mainmatter{\cleardoublepage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   281
       \@mainmattertrue\pagenumbering{arabic}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   282
\newcommand\backmatter{\if@openright\cleardoublepage\else\clearpage\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   283
      \@mainmatterfalse}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   284
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   285
\renewcommand\part{\cleardoublepage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   286
                 \thispagestyle{empty}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   287
                 \if@twocolumn
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   288
                     \onecolumn
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   289
                     \@tempswatrue
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   290
                   \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   291
                     \@tempswafalse
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   292
                 \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   293
                 \null\vfil
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   294
                 \secdef\@part\@spart}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   295
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   296
\def\@part[#1]#2{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   297
    \ifnum \c@secnumdepth >-2\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   298
      \refstepcounter{part}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   299
      \addcontentsline{toc}{part}{\thepart\hspace{1em}#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   300
    \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   301
      \addcontentsline{toc}{part}{#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   302
    \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   303
    \markboth{}{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   304
    {\centering
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   305
     \interlinepenalty \@M
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   306
     \normalfont
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   307
     \ifnum \c@secnumdepth >-2\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   308
       \huge\bfseries \partname~\thepart
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   309
       \par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   310
       \vskip 20\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   311
     \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   312
     \Huge \bfseries #2\par}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   313
    \@endpart}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   314
\def\@spart#1{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   315
    {\centering
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   316
     \interlinepenalty \@M
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   317
     \normalfont
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   318
     \Huge \bfseries #1\par}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   319
    \@endpart}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   320
\def\@endpart{\vfil\newpage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   321
              \if@twoside
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   322
                \null
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   323
                \thispagestyle{empty}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   324
                \newpage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   325
              \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   326
              \if@tempswa
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   327
                \twocolumn
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   328
              \fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   329
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   330
\newcommand\chapter{\clearpage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   331
                    \thispagestyle{empty}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   332
                    \global\@topnum\z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   333
                    \@afterindentfalse
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   334
                    \secdef\@chapter\@schapter}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   335
\def\@chapter[#1]#2{\ifnum \c@secnumdepth >\m@ne
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   336
                       \if@mainmatter
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   337
                         \refstepcounter{chapter}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   338
                         \typeout{\@chapapp\space\thechapter.}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   339
                         \addcontentsline{toc}{chapter}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   340
                                  {\protect\numberline{\thechapter}#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   341
                       \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   342
                         \addcontentsline{toc}{chapter}{#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   343
                       \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   344
                    \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   345
                      \addcontentsline{toc}{chapter}{#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   346
                    \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   347
                    \chaptermark{#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   348
                    \addtocontents{lof}{\protect\addvspace{10\p@}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   349
                    \addtocontents{lot}{\protect\addvspace{10\p@}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   350
                    \if@twocolumn
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   351
                      \@topnewpage[\@makechapterhead{#2}]%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   352
                    \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   353
                      \@makechapterhead{#2}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   354
                      \@afterheading
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   355
                    \fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   356
\def\@makechapterhead#1{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   357
% \vspace*{50\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   358
  {\centering
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   359
    \ifnum \c@secnumdepth >\m@ne
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   360
      \if@mainmatter
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   361
        \large\bfseries \@chapapp{} \thechapter
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   362
        \par\nobreak
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   363
        \vskip 20\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   364
      \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   365
    \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   366
    \interlinepenalty\@M
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   367
    \Large \bfseries #1\par\nobreak
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   368
    \vskip 40\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   369
  }}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   370
\def\@schapter#1{\if@twocolumn
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   371
                   \@topnewpage[\@makeschapterhead{#1}]%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   372
                 \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   373
                   \@makeschapterhead{#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   374
                   \@afterheading
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   375
                 \fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   376
\def\@makeschapterhead#1{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   377
% \vspace*{50\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   378
  {\centering
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   379
    \normalfont
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   380
    \interlinepenalty\@M
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   381
    \Large \bfseries  #1\par\nobreak
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   382
    \vskip 40\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   383
  }}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   384
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   385
\renewcommand\section{\@startsection{section}{1}{\z@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   386
                       {-18\p@ \@plus -4\p@ \@minus -4\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   387
                       {12\p@ \@plus 4\p@ \@minus 4\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   388
                       {\normalfont\large\bfseries\boldmath
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   389
                        \rightskip=\z@ \@plus 8em\pretolerance=10000 }}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   390
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   391
                       {-18\p@ \@plus -4\p@ \@minus -4\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   392
                       {8\p@ \@plus 4\p@ \@minus 4\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   393
                       {\normalfont\normalsize\bfseries\boldmath
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   394
                        \rightskip=\z@ \@plus 8em\pretolerance=10000 }}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   395
\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   396
                       {-18\p@ \@plus -4\p@ \@minus -4\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   397
                       {-0.5em \@plus -0.22em \@minus -0.1em}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   398
                       {\normalfont\normalsize\bfseries\boldmath}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   399
\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   400
                       {-12\p@ \@plus -4\p@ \@minus -4\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   401
                       {-0.5em \@plus -0.22em \@minus -0.1em}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   402
                       {\normalfont\normalsize\itshape}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   403
\renewcommand\subparagraph[1]{\typeout{LLNCS warning: You should not use
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   404
                  \string\subparagraph\space with this class}\vskip0.5cm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   405
You should not use \verb|\subparagraph| with this class.\vskip0.5cm}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   406
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   407
\DeclareMathSymbol{\Gamma}{\mathalpha}{letters}{"00}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   408
\DeclareMathSymbol{\Delta}{\mathalpha}{letters}{"01}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   409
\DeclareMathSymbol{\Theta}{\mathalpha}{letters}{"02}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   410
\DeclareMathSymbol{\Lambda}{\mathalpha}{letters}{"03}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   411
\DeclareMathSymbol{\Xi}{\mathalpha}{letters}{"04}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   412
\DeclareMathSymbol{\Pi}{\mathalpha}{letters}{"05}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   413
\DeclareMathSymbol{\Sigma}{\mathalpha}{letters}{"06}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   414
\DeclareMathSymbol{\Upsilon}{\mathalpha}{letters}{"07}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   415
\DeclareMathSymbol{\Phi}{\mathalpha}{letters}{"08}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   416
\DeclareMathSymbol{\Psi}{\mathalpha}{letters}{"09}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   417
\DeclareMathSymbol{\Omega}{\mathalpha}{letters}{"0A}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   418
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   419
\let\footnotesize\small
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   420
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   421
\if@custvec
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   422
\def\vec#1{\mathchoice{\mbox{\boldmath$\displaystyle#1$}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   423
{\mbox{\boldmath$\textstyle#1$}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   424
{\mbox{\boldmath$\scriptstyle#1$}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   425
{\mbox{\boldmath$\scriptscriptstyle#1$}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   426
\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   427
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   428
\def\squareforqed{\hbox{\rlap{$\sqcap$}$\sqcup$}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   429
\def\qed{\ifmmode\squareforqed\else{\unskip\nobreak\hfil
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   430
\penalty50\hskip1em\null\nobreak\hfil\squareforqed
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   431
\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   432
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   433
\def\getsto{\mathrel{\mathchoice {\vcenter{\offinterlineskip
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   434
\halign{\hfil
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   435
$\displaystyle##$\hfil\cr\gets\cr\to\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   436
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr\gets
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   437
\cr\to\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   438
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr\gets
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   439
\cr\to\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   440
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   441
\gets\cr\to\cr}}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   442
\def\lid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   443
$\displaystyle##$\hfil\cr<\cr\noalign{\vskip1.2pt}=\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   444
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr<\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   445
\noalign{\vskip1.2pt}=\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   446
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr<\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   447
\noalign{\vskip1pt}=\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   448
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   449
<\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   450
\noalign{\vskip0.9pt}=\cr}}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   451
\def\gid{\mathrel{\mathchoice {\vcenter{\offinterlineskip\halign{\hfil
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   452
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip1.2pt}=\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   453
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr>\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   454
\noalign{\vskip1.2pt}=\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   455
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr>\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   456
\noalign{\vskip1pt}=\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   457
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   458
>\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   459
\noalign{\vskip0.9pt}=\cr}}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   460
\def\grole{\mathrel{\mathchoice {\vcenter{\offinterlineskip
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   461
\halign{\hfil
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   462
$\displaystyle##$\hfil\cr>\cr\noalign{\vskip-1pt}<\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   463
{\vcenter{\offinterlineskip\halign{\hfil$\textstyle##$\hfil\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   464
>\cr\noalign{\vskip-1pt}<\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   465
{\vcenter{\offinterlineskip\halign{\hfil$\scriptstyle##$\hfil\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   466
>\cr\noalign{\vskip-0.8pt}<\cr}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   467
{\vcenter{\offinterlineskip\halign{\hfil$\scriptscriptstyle##$\hfil\cr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   468
>\cr\noalign{\vskip-0.3pt}<\cr}}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   469
\def\bbbr{{\rm I\!R}} %reelle Zahlen
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   470
\def\bbbm{{\rm I\!M}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   471
\def\bbbn{{\rm I\!N}} %natuerliche Zahlen
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   472
\def\bbbf{{\rm I\!F}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   473
\def\bbbh{{\rm I\!H}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   474
\def\bbbk{{\rm I\!K}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   475
\def\bbbp{{\rm I\!P}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   476
\def\bbbone{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   477
{\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   478
\def\bbbc{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm C$}\hbox{\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   479
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   480
{\setbox0=\hbox{$\textstyle\rm C$}\hbox{\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   481
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   482
{\setbox0=\hbox{$\scriptstyle\rm C$}\hbox{\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   483
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   484
{\setbox0=\hbox{$\scriptscriptstyle\rm C$}\hbox{\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   485
to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   486
\def\bbbq{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   487
Q$}\hbox{\raise
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   488
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   489
{\setbox0=\hbox{$\textstyle\rm Q$}\hbox{\raise
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   490
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   491
{\setbox0=\hbox{$\scriptstyle\rm Q$}\hbox{\raise
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   492
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   493
{\setbox0=\hbox{$\scriptscriptstyle\rm Q$}\hbox{\raise
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   494
0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   495
\def\bbbt{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   496
T$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   497
{\setbox0=\hbox{$\textstyle\rm T$}\hbox{\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   498
to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   499
{\setbox0=\hbox{$\scriptstyle\rm T$}\hbox{\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   500
to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   501
{\setbox0=\hbox{$\scriptscriptstyle\rm T$}\hbox{\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   502
to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   503
\def\bbbs{{\mathchoice
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   504
{\setbox0=\hbox{$\displaystyle     \rm S$}\hbox{\raise0.5\ht0\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   505
to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   506
to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   507
{\setbox0=\hbox{$\textstyle        \rm S$}\hbox{\raise0.5\ht0\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   508
to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   509
to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   510
{\setbox0=\hbox{$\scriptstyle      \rm S$}\hbox{\raise0.5\ht0\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   511
to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   512
to0pt{\kern0.5\wd0\vrule height0.45\ht0\hss}\box0}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   513
{\setbox0=\hbox{$\scriptscriptstyle\rm S$}\hbox{\raise0.5\ht0\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   514
to0pt{\kern0.4\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0\hbox
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   515
to0pt{\kern0.55\wd0\vrule height0.45\ht0\hss}\box0}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   516
\def\bbbz{{\mathchoice {\hbox{$\mathsf\textstyle Z\kern-0.4em Z$}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   517
{\hbox{$\mathsf\textstyle Z\kern-0.4em Z$}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   518
{\hbox{$\mathsf\scriptstyle Z\kern-0.3em Z$}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   519
{\hbox{$\mathsf\scriptscriptstyle Z\kern-0.2em Z$}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   520
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   521
\let\ts\,
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   522
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   523
\setlength\leftmargini  {17\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   524
\setlength\leftmargin    {\leftmargini}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   525
\setlength\leftmarginii  {\leftmargini}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   526
\setlength\leftmarginiii {\leftmargini}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   527
\setlength\leftmarginiv  {\leftmargini}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   528
\setlength  \labelsep  {.5em}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   529
\setlength  \labelwidth{\leftmargini}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   530
\addtolength\labelwidth{-\labelsep}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   531
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   532
\def\@listI{\leftmargin\leftmargini
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   533
            \parsep 0\p@ \@plus1\p@ \@minus\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   534
            \topsep 8\p@ \@plus2\p@ \@minus4\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   535
            \itemsep0\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   536
\let\@listi\@listI
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   537
\@listi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   538
\def\@listii {\leftmargin\leftmarginii
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   539
              \labelwidth\leftmarginii
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   540
              \advance\labelwidth-\labelsep
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   541
              \topsep    0\p@ \@plus2\p@ \@minus\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   542
\def\@listiii{\leftmargin\leftmarginiii
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   543
              \labelwidth\leftmarginiii
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   544
              \advance\labelwidth-\labelsep
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   545
              \topsep    0\p@ \@plus\p@\@minus\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   546
              \parsep    \z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   547
              \partopsep \p@ \@plus\z@ \@minus\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   548
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   549
\renewcommand\labelitemi{\normalfont\bfseries --}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   550
\renewcommand\labelitemii{$\m@th\bullet$}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   551
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   552
\setlength\arraycolsep{1.4\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   553
\setlength\tabcolsep{1.4\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   554
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   555
\def\tableofcontents{\chapter*{\contentsname\@mkboth{{\contentsname}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   556
                                                    {{\contentsname}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   557
 \def\authcount##1{\setcounter{auco}{##1}\setcounter{@auth}{1}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   558
 \def\lastand{\ifnum\value{auco}=2\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   559
                 \unskip{} \andname\
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   560
              \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   561
                 \unskip \lastandname\
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   562
              \fi}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   563
 \def\and{\stepcounter{@auth}\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   564
          \ifnum\value{@auth}=\value{auco}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   565
             \lastand
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   566
          \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   567
             \unskip,
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   568
          \fi}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   569
 \@starttoc{toc}\if@restonecol\twocolumn\fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   570
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   571
\def\l@part#1#2{\addpenalty{\@secpenalty}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   572
   \addvspace{2em plus\p@}%  % space above part line
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   573
   \begingroup
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   574
     \parindent \z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   575
     \rightskip \z@ plus 5em
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   576
     \hrule\vskip5pt
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   577
     \large               % same size as for a contribution heading
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   578
     \bfseries\boldmath   % set line in boldface
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   579
     \leavevmode          % TeX command to enter horizontal mode.
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   580
     #1\par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   581
     \vskip5pt
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   582
     \hrule
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   583
     \vskip1pt
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   584
     \nobreak             % Never break after part entry
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   585
   \endgroup}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   586
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   587
\def\@dotsep{2}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   588
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   589
\def\hyperhrefextend{\ifx\hyper@anchor\@undefined\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   590
{chapter.\thechapter}\fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   591
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   592
\def\addnumcontentsmark#1#2#3{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   593
\addtocontents{#1}{\protect\contentsline{#2}{\protect\numberline
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   594
                     {\thechapter}#3}{\thepage}\hyperhrefextend}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   595
\def\addcontentsmark#1#2#3{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   596
\addtocontents{#1}{\protect\contentsline{#2}{#3}{\thepage}\hyperhrefextend}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   597
\def\addcontentsmarkwop#1#2#3{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   598
\addtocontents{#1}{\protect\contentsline{#2}{#3}{0}\hyperhrefextend}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   599
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   600
\def\@adcmk[#1]{\ifcase #1 \or
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   601
\def\@gtempa{\addnumcontentsmark}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   602
  \or    \def\@gtempa{\addcontentsmark}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   603
  \or    \def\@gtempa{\addcontentsmarkwop}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   604
  \fi\@gtempa{toc}{chapter}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   605
\def\addtocmark{\@ifnextchar[{\@adcmk}{\@adcmk[3]}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   606
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   607
\def\l@chapter#1#2{\addpenalty{-\@highpenalty}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   608
 \vskip 1.0em plus 1pt \@tempdima 1.5em \begingroup
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   609
 \parindent \z@ \rightskip \@tocrmarg
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   610
 \advance\rightskip by 0pt plus 2cm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   611
 \parfillskip -\rightskip \pretolerance=10000
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   612
 \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   613
 {\large\bfseries\boldmath#1}\ifx0#2\hfil\null
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   614
 \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   615
      \nobreak
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   616
      \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   617
      \@dotsep mu$}\hfill
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   618
      \nobreak\hbox to\@pnumwidth{\hss #2}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   619
 \fi\par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   620
 \penalty\@highpenalty \endgroup}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   621
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   622
\def\l@title#1#2{\addpenalty{-\@highpenalty}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   623
 \addvspace{8pt plus 1pt}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   624
 \@tempdima \z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   625
 \begingroup
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   626
 \parindent \z@ \rightskip \@tocrmarg
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   627
 \advance\rightskip by 0pt plus 2cm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   628
 \parfillskip -\rightskip \pretolerance=10000
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   629
 \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   630
 #1\nobreak
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   631
 \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   632
 \@dotsep mu$}\hfill
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   633
 \nobreak\hbox to\@pnumwidth{\hss #2}\par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   634
 \penalty\@highpenalty \endgroup}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   635
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   636
\def\l@author#1#2{\addpenalty{\@highpenalty}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   637
 \@tempdima=\z@ %15\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   638
 \begingroup
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   639
 \parindent \z@ \rightskip \@tocrmarg
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   640
 \advance\rightskip by 0pt plus 2cm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   641
 \pretolerance=10000
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   642
 \leavevmode \advance\leftskip\@tempdima %\hskip -\leftskip
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   643
 \textit{#1}\par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   644
 \penalty\@highpenalty \endgroup}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   645
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   646
\setcounter{tocdepth}{0}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   647
\newdimen\tocchpnum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   648
\newdimen\tocsecnum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   649
\newdimen\tocsectotal
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   650
\newdimen\tocsubsecnum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   651
\newdimen\tocsubsectotal
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   652
\newdimen\tocsubsubsecnum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   653
\newdimen\tocsubsubsectotal
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   654
\newdimen\tocparanum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   655
\newdimen\tocparatotal
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   656
\newdimen\tocsubparanum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   657
\tocchpnum=\z@            % no chapter numbers
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   658
\tocsecnum=15\p@          % section 88. plus 2.222pt
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   659
\tocsubsecnum=23\p@       % subsection 88.8 plus 2.222pt
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   660
\tocsubsubsecnum=27\p@    % subsubsection 88.8.8 plus 1.444pt
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   661
\tocparanum=35\p@         % paragraph 88.8.8.8 plus 1.666pt
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   662
\tocsubparanum=43\p@      % subparagraph 88.8.8.8.8 plus 1.888pt
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   663
\def\calctocindent{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   664
\tocsectotal=\tocchpnum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   665
\advance\tocsectotal by\tocsecnum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   666
\tocsubsectotal=\tocsectotal
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   667
\advance\tocsubsectotal by\tocsubsecnum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   668
\tocsubsubsectotal=\tocsubsectotal
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   669
\advance\tocsubsubsectotal by\tocsubsubsecnum
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   670
\tocparatotal=\tocsubsubsectotal
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   671
\advance\tocparatotal by\tocparanum}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   672
\calctocindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   673
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   674
\def\l@section{\@dottedtocline{1}{\tocchpnum}{\tocsecnum}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   675
\def\l@subsection{\@dottedtocline{2}{\tocsectotal}{\tocsubsecnum}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   676
\def\l@subsubsection{\@dottedtocline{3}{\tocsubsectotal}{\tocsubsubsecnum}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   677
\def\l@paragraph{\@dottedtocline{4}{\tocsubsubsectotal}{\tocparanum}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   678
\def\l@subparagraph{\@dottedtocline{5}{\tocparatotal}{\tocsubparanum}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   679
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   680
\def\listoffigures{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   681
 \fi\section*{\listfigurename\@mkboth{{\listfigurename}}{{\listfigurename}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   682
 \@starttoc{lof}\if@restonecol\twocolumn\fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   683
\def\l@figure{\@dottedtocline{1}{0em}{1.5em}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   684
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   685
\def\listoftables{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   686
 \fi\section*{\listtablename\@mkboth{{\listtablename}}{{\listtablename}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   687
 \@starttoc{lot}\if@restonecol\twocolumn\fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   688
\let\l@table\l@figure
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   689
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   690
\renewcommand\listoffigures{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   691
    \section*{\listfigurename
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   692
      \@mkboth{\listfigurename}{\listfigurename}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   693
    \@starttoc{lof}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   694
    }
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   695
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   696
\renewcommand\listoftables{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   697
    \section*{\listtablename
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   698
      \@mkboth{\listtablename}{\listtablename}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   699
    \@starttoc{lot}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   700
    }
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   701
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   702
\ifx\oribibl\undefined
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   703
\ifx\citeauthoryear\undefined
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   704
\renewenvironment{thebibliography}[1]
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   705
     {\section*{\refname}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   706
      \def\@biblabel##1{##1.}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   707
      \small
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   708
      \list{\@biblabel{\@arabic\c@enumiv}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   709
           {\settowidth\labelwidth{\@biblabel{#1}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   710
            \leftmargin\labelwidth
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   711
            \advance\leftmargin\labelsep
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   712
            \if@openbib
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   713
              \advance\leftmargin\bibindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   714
              \itemindent -\bibindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   715
              \listparindent \itemindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   716
              \parsep \z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   717
            \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   718
            \usecounter{enumiv}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   719
            \let\p@enumiv\@empty
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   720
            \renewcommand\theenumiv{\@arabic\c@enumiv}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   721
      \if@openbib
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   722
        \renewcommand\newblock{\par}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   723
      \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   724
        \renewcommand\newblock{\hskip .11em \@plus.33em \@minus.07em}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   725
      \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   726
      \sloppy\clubpenalty4000\widowpenalty4000%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   727
      \sfcode`\.=\@m}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   728
     {\def\@noitemerr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   729
       {\@latex@warning{Empty `thebibliography' environment}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   730
      \endlist}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   731
\def\@lbibitem[#1]#2{\item[{[#1]}\hfill]\if@filesw
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   732
     {\let\protect\noexpand\immediate
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   733
     \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   734
\newcount\@tempcntc
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   735
\def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   736
  \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   737
    {\@ifundefined
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   738
       {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bfseries
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   739
        ?}\@warning
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   740
       {Citation `\@citeb' on page \thepage \space undefined}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   741
    {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   742
     \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   743
       \@citea\def\@citea{,}\hbox{\csname b@\@citeb\endcsname}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   744
     \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   745
      \advance\@tempcntb\@ne
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   746
      \ifnum\@tempcntb=\@tempcntc
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   747
      \else\advance\@tempcntb\m@ne\@citeo
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   748
      \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   749
\def\@citeo{\ifnum\@tempcnta>\@tempcntb\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   750
               \@citea\def\@citea{,\,\hskip\z@skip}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   751
               \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   752
               {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   753
                \def\@citea{--}\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   754
      \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   755
\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   756
\renewenvironment{thebibliography}[1]
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   757
     {\section*{\refname}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   758
      \small
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   759
      \list{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   760
           {\settowidth\labelwidth{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   761
            \leftmargin\parindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   762
            \itemindent=-\parindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   763
            \labelsep=\z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   764
            \if@openbib
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   765
              \advance\leftmargin\bibindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   766
              \itemindent -\bibindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   767
              \listparindent \itemindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   768
              \parsep \z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   769
            \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   770
            \usecounter{enumiv}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   771
            \let\p@enumiv\@empty
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   772
            \renewcommand\theenumiv{}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   773
      \if@openbib
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   774
        \renewcommand\newblock{\par}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   775
      \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   776
        \renewcommand\newblock{\hskip .11em \@plus.33em \@minus.07em}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   777
      \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   778
      \sloppy\clubpenalty4000\widowpenalty4000%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   779
      \sfcode`\.=\@m}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   780
     {\def\@noitemerr
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   781
       {\@latex@warning{Empty `thebibliography' environment}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   782
      \endlist}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   783
      \def\@cite#1{#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   784
      \def\@lbibitem[#1]#2{\item[]\if@filesw
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   785
        {\def\protect##1{\string ##1\space}\immediate
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   786
      \write\@auxout{\string\bibcite{#2}{#1}}}\fi\ignorespaces}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   787
   \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   788
\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   789
\@cons\@openbib@code{\noexpand\small}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   790
\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   791
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   792
\def\idxquad{\hskip 10\p@}% space that divides entry from number
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   793
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   794
\def\@idxitem{\par\hangindent 10\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   795
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   796
\def\subitem{\par\setbox0=\hbox{--\enspace}% second order
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   797
                \noindent\hangindent\wd0\box0}% index entry
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   798
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   799
\def\subsubitem{\par\setbox0=\hbox{--\,--\enspace}% third
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   800
                \noindent\hangindent\wd0\box0}% order index entry
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   801
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   802
\def\indexspace{\par \vskip 10\p@ plus5\p@ minus3\p@\relax}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   803
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   804
\renewenvironment{theindex}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   805
               {\@mkboth{\indexname}{\indexname}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   806
                \thispagestyle{empty}\parindent\z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   807
                \parskip\z@ \@plus .3\p@\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   808
                \let\item\par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   809
                \def\,{\relax\ifmmode\mskip\thinmuskip
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   810
                             \else\hskip0.2em\ignorespaces\fi}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   811
                \normalfont\small
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   812
                \begin{multicols}{2}[\@makeschapterhead{\indexname}]%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   813
                }
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   814
                {\end{multicols}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   815
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   816
\renewcommand\footnoterule{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   817
  \kern-3\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   818
  \hrule\@width 2truecm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   819
  \kern2.6\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   820
  \newdimen\fnindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   821
  \fnindent1em
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   822
\long\def\@makefntext#1{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   823
    \parindent \fnindent%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   824
    \leftskip \fnindent%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   825
    \noindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   826
    \llap{\hb@xt@1em{\hss\@makefnmark\ }}\ignorespaces#1}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   827
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   828
\long\def\@makecaption#1#2{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   829
  \vskip\abovecaptionskip
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   830
  \sbox\@tempboxa{{\bfseries #1.} #2}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   831
  \ifdim \wd\@tempboxa >\hsize
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   832
    {\bfseries #1.} #2\par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   833
  \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   834
    \global \@minipagefalse
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   835
    \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   836
  \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   837
  \vskip\belowcaptionskip}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   838
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   839
\def\fps@figure{htbp}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   840
\def\fnum@figure{\figurename\thinspace\thefigure}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   841
\def \@floatboxreset {%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   842
        \reset@font
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   843
        \small
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   844
        \@setnobreak
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   845
        \@setminipage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   846
}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   847
\def\fps@table{htbp}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   848
\def\fnum@table{\tablename~\thetable}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   849
\renewenvironment{table}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   850
               {\setlength\abovecaptionskip{0\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   851
                \setlength\belowcaptionskip{10\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   852
                \@float{table}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   853
               {\end@float}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   854
\renewenvironment{table*}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   855
               {\setlength\abovecaptionskip{0\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   856
                \setlength\belowcaptionskip{10\p@}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   857
                \@dblfloat{table}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   858
               {\end@dblfloat}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   859
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   860
\long\def\@caption#1[#2]#3{\par\addcontentsline{\csname
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   861
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   862
  the#1\endcsname}{\ignorespaces #2}}\begingroup
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   863
    \@parboxrestore
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   864
    \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   865
  \endgroup}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   866
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   867
% LaTeX does not provide a command to enter the authors institute
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   868
% addresses. The \institute command is defined here.
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   869
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   870
\newcounter{@inst}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   871
\newcounter{@auth}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   872
\newcounter{auco}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   873
\newdimen\instindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   874
\newbox\authrun
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   875
\newtoks\authorrunning
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   876
\newtoks\tocauthor
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   877
\newbox\titrun
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   878
\newtoks\titlerunning
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   879
\newtoks\toctitle
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   880
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   881
\def\clearheadinfo{\gdef\@author{No Author Given}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   882
                   \gdef\@title{No Title Given}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   883
                   \gdef\@subtitle{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   884
                   \gdef\@institute{No Institute Given}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   885
                   \gdef\@thanks{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   886
                   \global\titlerunning={}\global\authorrunning={}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   887
                   \global\toctitle={}\global\tocauthor={}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   888
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   889
\def\institute#1{\gdef\@institute{#1}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   890
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   891
\def\institutename{\par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   892
 \begingroup
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   893
 \parskip=\z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   894
 \parindent=\z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   895
 \setcounter{@inst}{1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   896
 \def\and{\par\stepcounter{@inst}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   897
 \noindent$^{\the@inst}$\enspace\ignorespaces}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   898
 \setbox0=\vbox{\def\thanks##1{}\@institute}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   899
 \ifnum\c@@inst=1\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   900
   \gdef\fnnstart{0}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   901
 \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   902
   \xdef\fnnstart{\c@@inst}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   903
   \setcounter{@inst}{1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   904
   \noindent$^{\the@inst}$\enspace
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   905
 \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   906
 \ignorespaces
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   907
 \@institute\par
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   908
 \endgroup}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   909
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   910
\def\@fnsymbol#1{\ensuremath{\ifcase#1\or\star\or{\star\star}\or
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   911
   {\star\star\star}\or \dagger\or \ddagger\or
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   912
   \mathchar "278\or \mathchar "27B\or \|\or **\or \dagger\dagger
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   913
   \or \ddagger\ddagger \else\@ctrerr\fi}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   914
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   915
\def\inst#1{\unskip$^{#1}$}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   916
\def\fnmsep{\unskip$^,$}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   917
\def\email#1{{\tt#1}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   918
\AtBeginDocument{\@ifundefined{url}{\def\url#1{#1}}{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   919
%JD
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   920
\if@czlang
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   921
  \switcht@czech
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   922
\fi  
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   923
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   924
\@ifpackageloaded{babel}{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   925
\@ifundefined{extrasenglish}{}{\addto\extrasenglish{\switcht@albion}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   926
\@ifundefined{extrasfrenchb}{}{\addto\extrasfrenchb{\switcht@francais}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   927
\@ifundefined{extrasgerman}{}{\addto\extrasgerman{\switcht@deutsch}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   928
}{\switcht@@therlang}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   929
}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   930
\def\homedir{\~{ }}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   931
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   932
\def\subtitle#1{\gdef\@subtitle{#1}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   933
\clearheadinfo
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   934
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   935
\renewcommand\maketitle{\newpage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   936
  \refstepcounter{chapter}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   937
  \stepcounter{section}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   938
  \setcounter{section}{0}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   939
  \setcounter{subsection}{0}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   940
  \setcounter{figure}{0}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   941
  \setcounter{table}{0}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   942
  \setcounter{equation}{0}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   943
  \setcounter{footnote}{0}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   944
  \begingroup
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   945
    \parindent=\z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   946
    \renewcommand\thefootnote{\@fnsymbol\c@footnote}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   947
    \if@twocolumn
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   948
      \ifnum \col@number=\@ne
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   949
        \@maketitle
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   950
      \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   951
        \twocolumn[\@maketitle]%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   952
      \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   953
    \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   954
      \newpage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   955
      \global\@topnum\z@   % Prevents figures from going at top of page.
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   956
      \@maketitle
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   957
    \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   958
    \thispagestyle{empty}\@thanks
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   959
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   960
    \def\\{\unskip\ \ignorespaces}\def\inst##1{\unskip{}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   961
    \def\thanks##1{\unskip{}}\def\fnmsep{\unskip}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   962
    \instindent=\hsize
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   963
    \advance\instindent by-\headlineindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   964
    \if!\the\toctitle!\addcontentsline{toc}{title}{\@title}\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   965
       \addcontentsline{toc}{title}{\the\toctitle}\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   966
    \if@runhead
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   967
       \if!\the\titlerunning!\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   968
         \edef\@title{\the\titlerunning}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   969
       \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   970
       \global\setbox\titrun=\hbox{\small\rm\unboldmath\ignorespaces\@title}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   971
       \ifdim\wd\titrun>\instindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   972
          \typeout{Title too long for running head. Please supply}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   973
          \typeout{a shorter form with \string\titlerunning\space prior to
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   974
                   \string\maketitle}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   975
          \global\setbox\titrun=\hbox{\small\rm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   976
          Title Suppressed Due to Excessive Length}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   977
       \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   978
       \xdef\@title{\copy\titrun}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   979
    \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   980
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   981
    \if!\the\tocauthor!\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   982
      {\def\and{\noexpand\protect\noexpand\and}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   983
      \protected@xdef\toc@uthor{\@author}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   984
    \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   985
      \def\\{\noexpand\protect\noexpand\newline}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   986
      \protected@xdef\scratch{\the\tocauthor}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   987
      \protected@xdef\toc@uthor{\scratch}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   988
    \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   989
    \addcontentsline{toc}{author}{\toc@uthor}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   990
    \if@runhead
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   991
       \if!\the\authorrunning!
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   992
         \value{@inst}=\value{@auth}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   993
         \setcounter{@auth}{1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   994
       \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   995
         \edef\@author{\the\authorrunning}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   996
       \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   997
       \global\setbox\authrun=\hbox{\small\unboldmath\@author\unskip}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   998
       \ifdim\wd\authrun>\instindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   999
          \typeout{Names of authors too long for running head. Please supply}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1000
          \typeout{a shorter form with \string\authorrunning\space prior to
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1001
                   \string\maketitle}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1002
          \global\setbox\authrun=\hbox{\small\rm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1003
          Authors Suppressed Due to Excessive Length}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1004
       \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1005
       \xdef\@author{\copy\authrun}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1006
       \markboth{\@author}{\@title}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1007
     \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1008
  \endgroup
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1009
  \setcounter{footnote}{\fnnstart}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1010
  \clearheadinfo}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1011
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1012
\def\@maketitle{\newpage
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1013
 \markboth{}{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1014
 \def\lastand{\ifnum\value{@inst}=2\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1015
                 \unskip{} \andname\
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1016
              \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1017
                 \unskip \lastandname\
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1018
              \fi}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1019
 \def\and{\stepcounter{@auth}\relax
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1020
          \ifnum\value{@auth}=\value{@inst}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1021
             \lastand
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1022
          \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1023
             \unskip,
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1024
          \fi}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1025
 \begin{center}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1026
 \let\newline\\
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1027
 {\Large \bfseries\boldmath
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1028
  \pretolerance=10000
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1029
  \@title \par}\vskip .8cm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1030
\if!\@subtitle!\else {\large \bfseries\boldmath
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1031
  \vskip -.65cm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1032
  \pretolerance=10000
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1033
  \@subtitle \par}\vskip .8cm\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1034
 \setbox0=\vbox{\setcounter{@auth}{1}\def\and{\stepcounter{@auth}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1035
 \def\thanks##1{}\@author}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1036
 \global\value{@inst}=\value{@auth}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1037
 \global\value{auco}=\value{@auth}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1038
 \setcounter{@auth}{1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1039
{\lineskip .5em
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1040
\noindent\ignorespaces
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1041
\@author\vskip.35cm}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1042
 {\small\institutename}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1043
 \end{center}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1044
 }
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1045
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1046
% definition of the "\spnewtheorem" command.
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1047
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1048
% Usage:
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1049
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1050
%     \spnewtheorem{env_nam}{caption}[within]{cap_font}{body_font}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1051
% or  \spnewtheorem{env_nam}[numbered_like]{caption}{cap_font}{body_font}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1052
% or  \spnewtheorem*{env_nam}{caption}{cap_font}{body_font}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1053
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1054
% New is "cap_font" and "body_font". It stands for
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1055
% fontdefinition of the caption and the text itself.
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1056
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1057
% "\spnewtheorem*" gives a theorem without number.
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1058
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1059
% A defined spnewthoerem environment is used as described
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1060
% by Lamport.
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1061
%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1062
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1063
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1064
\def\@thmcountersep{}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1065
\def\@thmcounterend{.}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1066
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1067
\def\spnewtheorem{\@ifstar{\@sthm}{\@Sthm}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1068
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1069
% definition of \spnewtheorem with number
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1070
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1071
\def\@spnthm#1#2{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1072
  \@ifnextchar[{\@spxnthm{#1}{#2}}{\@spynthm{#1}{#2}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1073
\def\@Sthm#1{\@ifnextchar[{\@spothm{#1}}{\@spnthm{#1}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1074
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1075
\def\@spxnthm#1#2[#3]#4#5{\expandafter\@ifdefinable\csname #1\endcsname
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1076
   {\@definecounter{#1}\@addtoreset{#1}{#3}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1077
   \expandafter\xdef\csname the#1\endcsname{\expandafter\noexpand
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1078
     \csname the#3\endcsname \noexpand\@thmcountersep \@thmcounter{#1}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1079
   \expandafter\xdef\csname #1name\endcsname{#2}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1080
   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1081
                              \global\@namedef{end#1}{\@endtheorem}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1082
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1083
\def\@spynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1084
   {\@definecounter{#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1085
   \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1086
   \expandafter\xdef\csname #1name\endcsname{#2}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1087
   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#3}{#4}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1088
                               \global\@namedef{end#1}{\@endtheorem}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1089
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1090
\def\@spothm#1[#2]#3#4#5{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1091
  \@ifundefined{c@#2}{\@latexerr{No theorem environment `#2' defined}\@eha}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1092
  {\expandafter\@ifdefinable\csname #1\endcsname
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1093
  {\global\@namedef{the#1}{\@nameuse{the#2}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1094
  \expandafter\xdef\csname #1name\endcsname{#3}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1095
  \global\@namedef{#1}{\@spthm{#2}{\csname #1name\endcsname}{#4}{#5}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1096
  \global\@namedef{end#1}{\@endtheorem}}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1097
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1098
\def\@spthm#1#2#3#4{\topsep 7\p@ \@plus2\p@ \@minus4\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1099
\refstepcounter{#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1100
\@ifnextchar[{\@spythm{#1}{#2}{#3}{#4}}{\@spxthm{#1}{#2}{#3}{#4}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1101
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1102
\def\@spxthm#1#2#3#4{\@spbegintheorem{#2}{\csname the#1\endcsname}{#3}{#4}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1103
                    \ignorespaces}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1104
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1105
\def\@spythm#1#2#3#4[#5]{\@spopargbegintheorem{#2}{\csname
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1106
       the#1\endcsname}{#5}{#3}{#4}\ignorespaces}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1107
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1108
\def\@spbegintheorem#1#2#3#4{\trivlist
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1109
                 \item[\hskip\labelsep{#3#1\ #2\@thmcounterend}]#4}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1110
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1111
\def\@spopargbegintheorem#1#2#3#4#5{\trivlist
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1112
      \item[\hskip\labelsep{#4#1\ #2}]{#4(#3)\@thmcounterend\ }#5}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1113
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1114
% definition of \spnewtheorem* without number
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1115
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1116
\def\@sthm#1#2{\@Ynthm{#1}{#2}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1117
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1118
\def\@Ynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1119
   {\global\@namedef{#1}{\@Thm{\csname #1name\endcsname}{#3}{#4}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1120
    \expandafter\xdef\csname #1name\endcsname{#2}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1121
    \global\@namedef{end#1}{\@endtheorem}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1122
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1123
\def\@Thm#1#2#3{\topsep 7\p@ \@plus2\p@ \@minus4\p@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1124
\@ifnextchar[{\@Ythm{#1}{#2}{#3}}{\@Xthm{#1}{#2}{#3}}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1125
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1126
\def\@Xthm#1#2#3{\@Begintheorem{#1}{#2}{#3}\ignorespaces}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1127
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1128
\def\@Ythm#1#2#3[#4]{\@Opargbegintheorem{#1}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1129
       {#4}{#2}{#3}\ignorespaces}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1130
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1131
\def\@Begintheorem#1#2#3{#3\trivlist
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1132
                           \item[\hskip\labelsep{#2#1\@thmcounterend}]}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1133
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1134
\def\@Opargbegintheorem#1#2#3#4{#4\trivlist
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1135
      \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1136
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1137
\if@envcntsect
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1138
   \def\@thmcountersep{.}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1139
   \spnewtheorem{theorem}{Theorem}[section]{\bfseries}{\itshape}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1140
\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1141
   \spnewtheorem{theorem}{Theorem}{\bfseries}{\itshape}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1142
   \if@envcntreset
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1143
      \@addtoreset{theorem}{section}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1144
   \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1145
      \@addtoreset{theorem}{chapter}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1146
   \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1147
\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1148
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1149
%definition of divers theorem environments
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1150
\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1151
\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1152
\if@envcntsame % alle Umgebungen wie Theorem.
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1153
   \def\spn@wtheorem#1#2#3#4{\@spothm{#1}[theorem]{#2}{#3}{#4}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1154
\else % alle Umgebungen mit eigenem Zaehler
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1155
   \if@envcntsect % mit section numeriert
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1156
      \def\spn@wtheorem#1#2#3#4{\@spxnthm{#1}{#2}[section]{#3}{#4}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1157
   \else % nicht mit section numeriert
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1158
      \if@envcntreset
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1159
         \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1160
                                   \@addtoreset{#1}{section}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1161
      \else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1162
         \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1163
                                   \@addtoreset{#1}{chapter}}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1164
      \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1165
   \fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1166
\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1167
\spn@wtheorem{case}{Case}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1168
\spn@wtheorem{conjecture}{Conjecture}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1169
\spn@wtheorem{corollary}{Corollary}{\bfseries}{\itshape}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1170
\spn@wtheorem{definition}{Definition}{\bfseries}{\itshape}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1171
\spn@wtheorem{example}{Example}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1172
\spn@wtheorem{exercise}{Exercise}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1173
\spn@wtheorem{lemma}{Lemma}{\bfseries}{\itshape}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1174
\spn@wtheorem{note}{Note}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1175
\spn@wtheorem{problem}{Problem}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1176
\spn@wtheorem{property}{Property}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1177
\spn@wtheorem{proposition}{Proposition}{\bfseries}{\itshape}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1178
\spn@wtheorem{question}{Question}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1179
\spn@wtheorem{solution}{Solution}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1180
\spn@wtheorem{remark}{Remark}{\itshape}{\rmfamily}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1181
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1182
\def\@takefromreset#1#2{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1183
    \def\@tempa{#1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1184
    \let\@tempd\@elt
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1185
    \def\@elt##1{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1186
        \def\@tempb{##1}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1187
        \ifx\@tempa\@tempb\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1188
            \@addtoreset{##1}{#2}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1189
        \fi}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1190
    \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1191
    \expandafter\def\csname cl@#2\endcsname{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1192
    \@tempc
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1193
    \let\@elt\@tempd}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1194
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1195
\def\theopargself{\def\@spopargbegintheorem##1##2##3##4##5{\trivlist
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1196
      \item[\hskip\labelsep{##4##1\ ##2}]{##4##3\@thmcounterend\ }##5}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1197
                  \def\@Opargbegintheorem##1##2##3##4{##4\trivlist
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1198
      \item[\hskip\labelsep{##3##1}]{##3##2\@thmcounterend\ }}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1199
      }
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1200
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1201
\renewenvironment{abstract}{%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1202
      \list{}{\advance\topsep by0.35cm\relax\small
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1203
      \leftmargin=1cm
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1204
      \labelwidth=\z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1205
      \listparindent=\z@
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1206
      \itemindent\listparindent
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1207
      \rightmargin\leftmargin}\item[\hskip\labelsep
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1208
                                    \bfseries\abstractname]}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1209
    {\endlist}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1210
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1211
\newdimen\headlineindent             % dimension for space between
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1212
\headlineindent=1.166cm              % number and text of headings.
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1213
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1214
\def\ps@headings{\let\@mkboth\@gobbletwo
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1215
   \let\@oddfoot\@empty\let\@evenfoot\@empty
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1216
   \def\@evenhead{\normalfont\small\rlap{\thepage}\hspace{\headlineindent}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1217
                  \leftmark\hfil}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1218
   \def\@oddhead{\normalfont\small\hfil\rightmark\hspace{\headlineindent}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1219
                 \llap{\thepage}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1220
   \def\chaptermark##1{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1221
   \def\sectionmark##1{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1222
   \def\subsectionmark##1{}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1223
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1224
\def\ps@titlepage{\let\@mkboth\@gobbletwo
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1225
   \let\@oddfoot\@empty\let\@evenfoot\@empty
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1226
   \def\@evenhead{\normalfont\small\rlap{\thepage}\hspace{\headlineindent}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1227
                  \hfil}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1228
   \def\@oddhead{\normalfont\small\hfil\hspace{\headlineindent}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1229
                 \llap{\thepage}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1230
   \def\chaptermark##1{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1231
   \def\sectionmark##1{}%
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1232
   \def\subsectionmark##1{}}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1233
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1234
\if@runhead\ps@headings\else
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1235
\ps@empty\fi
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1236
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1237
\setlength\arraycolsep{1.4\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1238
\setlength\tabcolsep{1.4\p@}
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1239
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1240
\endinput
404c5b07df33 LLNCS template added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1241
%end of file llncs.cls