| author | Diana Meindl <meindl_diana@yahoo.com> |
| Mon, 29 Aug 2011 12:20:54 +0200 | |
| branch | decompose-isar |
| changeset 42234 | 9914536834be |
| child 42263 | 5a2f4c554e1d |
| permissions | -rwxr-xr-x |
| meindl_diana@42234 | 1 |
{\w .}\hspace{6.5cm}\textbf{Abstact}\\[0.5cm]
|
| meindl_diana@42234 | 2 |
%Hab noch keine Ahnung, was ich da rein schreiben soll, aber alles wird gut :) HOFFENTLICH!!!!!!\\ |
| meindl_diana@42234 | 3 |
%Allgemeine Einleitun? |
| meindl_diana@42234 | 4 |
\section{Background}
|
| meindl_diana@42234 | 5 |
%Warum ich diese Arbeit schreibe? |
| meindl_diana@42234 | 6 |
\section{Goal of the thesis}
|
| meindl_diana@42234 | 7 |
\subsection{Current situation}
|
| meindl_diana@42234 | 8 |
%Lernsystem, das Wert auf "`Durchsichtigkeit"' legt. |
| meindl_diana@42234 | 9 |
\subsection{Problem}
|
| meindl_diana@42234 | 10 |
%Das Kürzen von Multivariablen Polynomen ist noch nicht zufriedenstellend implimentiert. |
| meindl_diana@42234 | 11 |
\subsection{Expected results}
|
| meindl_diana@42234 | 12 |
%richtige implimentierung in isac basierend auf Isabelle.\\ |
| meindl_diana@42234 | 13 |
%Funktional programmiert und Schrittweise nach zu voll ziehren.\\ |
| meindl_diana@42234 | 14 |
%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 | 15 |
|
| meindl_diana@42234 | 16 |
\section{State of the art}
|
| meindl_diana@42234 | 17 |
%Was ist vorhanden, was kann ich aus welchen Büchern für meine Arbeit verwenden? |
| meindl_diana@42234 | 18 |
%SCHEI?E; das weiß ich doch nicht GGGRRRRR hätt wohl doch früher anfangen sollen. :( |
| meindl_diana@42234 | 19 |
|
| meindl_diana@42234 | 20 |
%\newpage |
| meindl_diana@42234 | 21 |
\section{Thesis structure}
|
| meindl_diana@42234 | 22 |
the proposed table of contents of the thesis on the chapter level is as follows: |
| meindl_diana@42234 | 23 |
\begin{enumerate}
|
| meindl_diana@42234 | 24 |
\item Introduction (7$-$10 pages)\\ |
| meindl_diana@42234 | 25 |
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 | 26 |
\item Univariate Polynomials (15-20 pages)\\ |
| meindl_diana@42234 | 27 |
This chapter will describe different Algorithms for univariate polynomials. |
| meindl_diana@42234 | 28 |
\item Multivariate Polynomials (20-25 pages)\\ |
| meindl_diana@42234 | 29 |
This chapter will describe different Algorithms for multivariate polynomials. |
| meindl_diana@42234 | 30 |
\item Functional programming (2-5 pages) |
| meindl_diana@42234 | 31 |
\item Implimentation in \textit{ISAC}$-$Project (15-20 pages)
|
| meindl_diana@42234 | 32 |
\item Conclusion (2$-$3 pages) |
| meindl_diana@42234 | 33 |
\end{enumerate}
|
| meindl_diana@42234 | 34 |
%\newpage |
| meindl_diana@42234 | 35 |
|
| meindl_diana@42234 | 36 |
\section{Timeline}
|
| meindl_diana@42234 | 37 |
%Werd nie fertig.\\ |
| meindl_diana@42234 | 38 |
\begin{center}
|
| meindl_diana@42234 | 39 |
\begin{tabular}{|l|l|l|}
|
| meindl_diana@42234 | 40 |
\hline |
| meindl_diana@42234 | 41 |
\textbf{Time}&\textbf{Thesis}&\textbf{Project}\\
|
| meindl_diana@42234 | 42 |
??? & Univariate Polynomials & \\ |
| meindl_diana@42234 | 43 |
??? & Multivariate Polynomials & \\ |
| meindl_diana@42234 | 44 |
??? & Conclusion and Introduction & Summary and Conclusions of Experiments\\ |
| meindl_diana@42234 | 45 |
\hline |
| meindl_diana@42234 | 46 |
\end{tabular}
|
| meindl_diana@42234 | 47 |
\end{center}
|
| meindl_diana@42234 | 48 |
|
| meindl_diana@42234 | 49 |
\section{Bibliography}
|
| meindl_diana@42234 | 50 |
mindestens 10 |
| meindl_diana@42234 | 51 |
\begin{enumerate}
|
| meindl_diana@42234 | 52 |
\item |
| meindl_diana@42234 | 53 |
\item |
| meindl_diana@42234 | 54 |
\item |
| meindl_diana@42234 | 55 |
\item |
| meindl_diana@42234 | 56 |
\item |
| meindl_diana@42234 | 57 |
\item |
| meindl_diana@42234 | 58 |
\item |
| meindl_diana@42234 | 59 |
\item |
| meindl_diana@42234 | 60 |
\item |
| meindl_diana@42234 | 61 |
\item |
| meindl_diana@42234 | 62 |
\end{enumerate} |