Commit cee31703 authored by Michael Banken's avatar Michael Banken

added structure

parents
*.aux
*.log
*.synctex.gz
*.out
*.toc
\documentclass[a4paper,11pt,twopage,numbers=noenddot]{scrbook}
\usepackage[top=2cm,lmargin=1in,rmargin=1in,bottom=3cm,hmarginratio=1:1]{geometry}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{thmtools}
\usepackage{fancyvrb}
\usepackage{mathtools}
\usepackage{amsmath}
\usepackage{ifthen}
\usepackage{xspace}
\usepackage{import}
\usepackage{calc}
\usepackage{float}
\usepackage{listings}
\usepackage{stmaryrd}
\usepackage{tikz}
\usetikzlibrary{mmt}
\usepackage[pdftex,
pdfauthor={Michael Banken},
pdftitle={Styler},
] {hyperref}
\usepackage{makeidx}
\usepackage{graphicx}
%\usepackage[right]{showlabels}
%\usepackage[justific=raggedright,totoc]{idxlayout}
\graphicspath{{img/}}
\addto\extrasenglish{%
\renewcommand{\chapterautorefname}{Section}
\renewcommand{\sectionautorefname}{Section}
\renewcommand{\subsectionautorefname}{Subsection}
}
\newcommand\chap[1]{%
\chapter*{#1}%
\chaptermark{#1}%
\addcontentsline{toc}{chapter}{#1}}
\declaretheorem[name=Definition,style=definition,numberwithin=chapter]{definition}
\declaretheorem[name=Example,style=definition,sibling=definition]{example}
\declaretheorem[style=definition,numbered=no]{exercise}
\declaretheorem[name=Remark,style=definition,sibling=definition]{remark}
\declaretheorem[name=Assumption,style=definition,sibling=definition]{assumption}
\declaretheorem[name=Observation,style=definition,sibling=definition]{observation}
\declaretheorem[name=Theorem,sibling=definition]{theorem}
\declaretheorem[sibling=definition]{corollary}
\declaretheorem[name=Fact,sibling=definition]{fact}
\declaretheorem[sibling=definition]{lemma}
\declaretheorem[sibling=lemma]{proposition}
\declaretheorem[name=Instruction set,style=definition,numberwithin=chapter]{instructionset}
\def\cn#1{\mathsf{#1}}
\def\thmo#1#2{\mathsf{#1}\colon\kern-.15em{#2}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %
% Spacing settings %
% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setlength{\parindent}{0pt}
\setlength{\parskip}{6pt}
\setlength{\marginparsep}{0cm}
% kill those ugly red rectangles around links
\hypersetup{
colorlinks,%
citecolor=black,%
filecolor=black,%
linkcolor=black,%
urlcolor=black,
}
\usepackage{newunicodechar}
\newunicodechar{}{\ensuremath{\forall}}
\newunicodechar{}{\ensuremath{\exists}}
\newunicodechar{×}{\ensuremath{\times}}
\newunicodechar{ø}{\ensuremath{\emptyset}}
\newunicodechar{}{\ensuremath{\le}}
\newunicodechar{}{\ensuremath{\in}}
\newunicodechar{}{\ensuremath{\to}}
\newunicodechar{}{\ensuremath{\subseteq}}
\newunicodechar{}{\ensuremath{\otimes}}
\newunicodechar{}{\ensuremath{\wedge}}
\begin{document}
\pagestyle{plain}
\input{src/titlepage}%
\tableofcontents
\input{src/introduction}
\input{src/candidates}
\input{src/algorithm}
\input{src/integration}
\input{src/conclusion}
\bibliography{bib}{}
\bibliographystyle{plain}
\end{document}
% vim: tw=80 nospell spelllang=en nocul
File added
\chapter{Algorithm}
\section{Idea}
\section{Pseudo Code}
\section{Complexity analysis}
\subsection{Runtime}
\subsection{Memory}
\ No newline at end of file
\chapter{Candidates}
\section{Types of optimization candidates}
\subsection{Simply redundant inclusion}
\subsection{Superfluous Inclusion}
\subsubsection{Purely Superfluous Inclusion}
\subsubsection{Partially Superfluous Inclusion}
\section{Optimization cases}
\ No newline at end of file
\chapter{Conclusion}
\section{What do we have?}
\section{What do we still need?}
\ No newline at end of file
\chapter{Implementation}
\section{Integration}
\section{Programming Interface}
\section{User Interface}
\ No newline at end of file
\chapter{Introduction}
\begin{titlepage}
\newcommand{\drop}{0.07\textheight}
\begin{center}
\begingroup%
\vfill
{\LARGE\textsc{%
Friedrich-Alexander-Universität\\[2mm]
Erlangen-Nürnberg%
}}\\[\drop]
{%
% trim= left bottom right top
\includegraphics[height=1.8cm,trim=0cm 0mm 0 0mm]{img/kwarc}\\
\textsc{\large KWARC research group}
}
\vfill
\rule{\textwidth}{1pt}\par
\vspace{0.5\baselineskip}
{% maybe \itshape?
\Huge\bfseries Styler
\\[1cm]
\large\bfseries
A tool for optimizing theory graphs
\\[1cm]
\textbf{\large Master Project in Computer Science}
}\\[0.5\baselineskip]
\rule{\textwidth}{1pt}\par
\vfill
{\Large{Michael Banken}\\
%{\large\normalsize{michael.banken@fau.de}}
}
\vfill
\large Advisors:
\vfill
\begin{tabular}{ccc}
\large
Dennis Müller\\
Prof. Dr. Michael Kohlhase
\end{tabular}
\vfill
% trim= left bottom right top
\includegraphics[height=1.8cm,trim=0cm -5mm 0 0mm]{img/fau}
\vfill
{\large Erlangen, \today}
\endgroup
\end{center}
\end{titlepage}
% vim: tw=80 spell spelllang=en nocul
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment