1 \documentclass[master,english]{hgbthesis}
2 % Zulässige Class Options:
3 % Typ der Arbeit: diplom, master (default), bachelor, praktikum
4 % Hauptsprache: german (default), english
5 %%------------------------------------------------------------
7 % TODO !!! amdahl & gustafson: set samples to 2000+
8 % TODO !!! edit: appendix b cd-rom / dvd !?
9 % TODO !!! appendix b add Repo date
10 % TODO !!! render all images to png
11 % TODO !!! README windows line breaks!
12 % TODO !!! "Overfull" grep
14 \graphicspath{{images/}} % wo liegen die Bilder?
15 \bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change
17 \usepackage{tikz,pgfplots,pgfplotstable}
18 \pgfplotsset{compat=1.9}
19 \usetikzlibrary{positioning}
21 \usepackage{listings} % syntax highlighting
23 \definecolor{color1}{HTML}{a40000}
24 \definecolor{color2}{HTML}{3465a4}
25 \definecolor{color3}{HTML}{ce5c00}
26 \definecolor{color4}{HTML}{4e9a06}
27 \definecolor{color5}{HTML}{eeeeec}
28 \definecolor{color6}{HTML}{2e3436}
30 \lstnewenvironment{MLCode}[1][] % code environment for ML
33 keywordstyle=\bfseries\color{color1},
34 %identifierstyle=\ttfamily,
35 commentstyle=\color{color2},
36 stringstyle=\color{color3},
37 showstringspaces=false,
38 basicstyle=\ttfamily\footnotesize,
39 numberstyle=\tiny\ttfamily\color{color6},
44 %prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}},
45 breakatwhitespace=false,
46 %aboveskip={1.5\baselineskip},
51 backgroundcolor=\color{color5},
53 % *{0}{{{\color[rgb]{1,0,0}0}}}1
54 % {1}{{{\color[rgb]{1,0,0}1}}}1
55 % {2}{{{\color[rgb]{1,0,0}2}}}1
56 % {3}{{{\color[rgb]{1,0,0}3}}}1
57 % {4}{{{\color[rgb]{1,0,0}4}}}1
58 % {5}{{{\color[rgb]{1,0,0}5}}}1
59 % {6}{{{\color[rgb]{1,0,0}6}}}1
60 % {7}{{{\color[rgb]{1,0,0}7}}}1
61 % {8}{{{\color[rgb]{1,0,0}8}}}1
62 % {9}{{{\color[rgb]{1,0,0}9}}}1
63 escapeinside={/+}{+/},% makes "/+" and "+/" available for Latex escapes (labels etc.)
67 \lstdefinelanguage{Scala}{
68 morekeywords={abstract,case,catch,class,def,%
69 do,else,extends,false,final,finally,%
70 for,if,implicit,import,match,mixin,%
71 new,null,object,override,package,%
72 private,protected,requires,return,sealed,%
73 super,this,throw,trait,true,try,%
74 type,val,var,while,with,yield},
75 otherkeywords={=>,<-,<\%,<:,>:,\#,@},
78 morecomment=[n]{/*}{*/},
83 \lstnewenvironment{ScalaCode}[2][] % code environment for Scala
84 {\noindent\minipage{\linewidth}
87 keywordstyle=\bfseries\color{color1},
88 %identifierstyle=\ttfamily,
89 commentstyle=\color{color2},
90 stringstyle=\color{color3},
91 showstringspaces=false,
92 basicstyle=\ttfamily\footnotesize,
93 numberstyle=\tiny\ttfamily\color{color6},
98 prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}},
99 breakatwhitespace=false,
100 aboveskip={1.5\baselineskip},
105 backgroundcolor=\color{color5},
107 % *{0}{{{\color[rgb]{1,0,0}0}}}1
108 % {1}{{{\color[rgb]{1,0,0}1}}}1
109 % {2}{{{\color[rgb]{1,0,0}2}}}1
110 % {3}{{{\color[rgb]{1,0,0}3}}}1
111 % {4}{{{\color[rgb]{1,0,0}4}}}1
112 % {5}{{{\color[rgb]{1,0,0}5}}}1
113 % {6}{{{\color[rgb]{1,0,0}6}}}1
114 % {7}{{{\color[rgb]{1,0,0}7}}}1
115 % {8}{{{\color[rgb]{1,0,0}8}}}1
116 % {9}{{{\color[rgb]{1,0,0}9}}}1
120 escapeinside={/+}{+/}% makes "/+" and "+/" available for Latex escapes (labels etc.)
123 \renewcommand{\lstlistingname}{Snippet} % Caption name
125 %\newcommand{\isac}{\texorpdfstring{$\mathcal{I}\mkern-2mu\mathcal{S}\mkern-5mu\mathcal{AC}$}{Isac}}
126 %\def\sisac{\texorpdfstring{{\footnotesize \isac{}}}{Isac}}
127 \newcommand{\isac}{\textit{Isac}}
128 \newcommand{\isabelle}{\textit{Isabelle}}
129 \newcommand{\imlcode}[1]{{\ttfamily \begin{tabbing}#1\end{tabbing}}}
131 %%%----------------------------------------------------------
133 %%%----------------------------------------------------------
135 % Einträge für ALLE Arbeiten: --------------------------------
136 \title{Introducing Parallelism in an Educational Mathematics System Developed in a Functional Programming Language}
137 \author{Mathias Lehnfeld}
138 \studiengang{Interactive Media}
139 \studienort{Hagenberg}
140 \abgabedatum{2014}{06}{18} % {YYYY}{MM}{DD}
141 \betreuer{Mag. Volker Christian} % oder \betreuerin{..}
142 \betreuer{Dr. Walther Neuper} % oder \betreuerin{..}
144 Institut für Informationssysteme und Computer Medien (IICM)\\
145 Fakultät für Informatik - Technische Universität Graz\\
148 8010 Graz - Österreich - Europa
151 %%%----------------------------------------------------------
155 %%%----------------------------------------------------------
157 % \include{declaration}
160 \include{kurzfassung}
162 %%%----------------------------------------------------------
163 \mainmatter % Hauptteil (ab hier arab. Seitenzahlen)
164 %%%----------------------------------------------------------
166 \include{introduction}
167 \include{fundamentals}
168 \include{funproglangs_mcsystems}
169 \include{isabelle_isac}
172 %%%----------------------------------------------------------
178 %%%----------------------------------------------------------
180 %%%----------------------------------------------------------
182 %%%Messbox zur Druckkontrolle