
meindl_diana@42234: {\w .}\hspace{6.5cm}\textbf{Abstact}\\[0.5cm]
meindl_diana@42234: %Hab noch keine Ahnung, was ich da rein schreiben soll, aber alles wird gut :) HOFFENTLICH!!!!!!\\
meindl_diana@42234: %Allgemeine Einleitun?
meindl_diana@42234: \section{Background}
meindl_diana@42234: %Warum ich diese Arbeit schreibe?
meindl_diana@42234: \section{Goal of the thesis}
meindl_diana@42234: \subsection{Current situation}
meindl_diana@42234: %Lernsystem, das Wert auf "`Durchsichtigkeit"' legt.
meindl_diana@42234: \subsection{Problem} 
meindl_diana@42234: %Das Kürzen von Multivariablen Polynomen ist noch nicht zufriedenstellend implimentiert.
meindl_diana@42234: \subsection{Expected results}
meindl_diana@42234: %richtige implimentierung in isac basierend auf Isabelle.\\
meindl_diana@42234: %Funktional programmiert und Schrittweise nach zu voll ziehren.\\
meindl_diana@42234: %Funktonen: Was wurde gemacht, Schrittweise auswählen, was man zuerst machen will, falls es mehrer Möglichkeiten gibt.(zumindest bei Univariaten Polynomen)
meindl_diana@42234: 
meindl_diana@42234: \section{State of the art}
meindl_diana@42234: %Was ist vorhanden, was kann ich aus welchen Büchern für meine Arbeit verwenden?
meindl_diana@42234: %SCHEI?E; das weiß ich doch nicht GGGRRRRR hätt wohl doch früher anfangen sollen. :(
meindl_diana@42234: 
meindl_diana@42234: %\newpage
meindl_diana@42234: \section{Thesis structure}
meindl_diana@42234: the proposed table of contents of the thesis on the chapter level is as follows:
meindl_diana@42234: \begin{enumerate}
meindl_diana@42234: 	\item Introduction (7$-$10 pages)\\
meindl_diana@42234: 	This chapter will tell about the \textit{ISAC}$-$Project, whats the goal of the thesis and will also contain the basic mathematical definitions.
meindl_diana@42234: 	\item Univariate Polynomials (15-20 pages)\\
meindl_diana@42234: 	This chapter will describe different Algorithms for univariate polynomials.
meindl_diana@42234: 	\item Multivariate Polynomials (20-25 pages)\\
meindl_diana@42234: 	This chapter will describe different Algorithms for multivariate polynomials.
meindl_diana@42234: 	\item Functional programming (2-5 pages)
meindl_diana@42234: 	\item Implimentation in \textit{ISAC}$-$Project (15-20 pages)
meindl_diana@42234: 	\item Conclusion (2$-$3 pages)
meindl_diana@42234: \end{enumerate}
meindl_diana@42234: %\newpage
meindl_diana@42234: 
meindl_diana@42234: \section{Timeline}
meindl_diana@42234: %Werd nie fertig.\\
meindl_diana@42234: \begin{center}
meindl_diana@42234: 		\begin{tabular}{|l|l|l|}
meindl_diana@42234: 		\hline
meindl_diana@42234: 			 \textbf{Time}&\textbf{Thesis}&\textbf{Project}\\
meindl_diana@42234: 			 ??? & Univariate Polynomials &  \\
meindl_diana@42234: 			 ??? & Multivariate Polynomials &  \\
meindl_diana@42234: 			??? & Conclusion and Introduction & Summary and Conclusions of Experiments\\
meindl_diana@42234: 			\hline
meindl_diana@42234: 		\end{tabular}
meindl_diana@42234: 	\end{center}
meindl_diana@42234: 		
meindl_diana@42234: \section{Bibliography}
meindl_diana@42234: mindestens 10
meindl_diana@42234: \begin{enumerate}
meindl_diana@42234:  \item 
meindl_diana@42234:  \item
meindl_diana@42234:  \item
meindl_diana@42234:  \item
meindl_diana@42234:  \item
meindl_diana@42234:  \item 
meindl_diana@42234:  \item
meindl_diana@42234:  \item
meindl_diana@42234:  \item
meindl_diana@42234:  \item
meindl_diana@42234: \end{enumerate} 



