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