|
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!!!!!!\\ |
|
3 %Allgemeine Einleitun? |
|
4 \section{Background} |
|
5 %Warum ich diese Arbeit schreibe? |
|
6 \section{Goal of the thesis} |
|
7 \subsection{Current situation} |
|
8 %Lernsystem, das Wert auf "`Durchsichtigkeit"' legt. |
|
9 \subsection{Problem} |
|
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) |
|
15 |
|
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. :( |
|
19 |
|
20 %\newpage |
|
21 \section{Thesis structure} |
|
22 the proposed table of contents of the thesis on the chapter level is as follows: |
|
23 \begin{enumerate} |
|
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) |
|
33 \end{enumerate} |
|
34 %\newpage |
|
35 |
|
36 \section{Timeline} |
|
37 %Werd nie fertig.\\ |
|
38 \begin{center} |
|
39 \begin{tabular}{|l|l|l|} |
|
40 \hline |
|
41 \textbf{Time}&\textbf{Thesis}&\textbf{Project}\\ |
|
42 ??? & Univariate Polynomials & \\ |
|
43 ??? & Multivariate Polynomials & \\ |
|
44 ??? & Conclusion and Introduction & Summary and Conclusions of Experiments\\ |
|
45 \hline |
|
46 \end{tabular} |
|
47 \end{center} |
|
48 |
|
49 \section{Bibliography} |
|
50 mindestens 10 |
|
51 \begin{enumerate} |
|
52 \item |
|
53 \item |
|
54 \item |
|
55 \item |
|
56 \item |
|
57 \item |
|
58 \item |
|
59 \item |
|
60 \item |
|
61 \item |
|
62 \end{enumerate} |