1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/isac/dmeindl/proposal.tex	Mon Aug 29 12:20:54 2011 +0200
     1.3 @@ -0,0 +1,62 @@
     1.4 +{\w .}\hspace{6.5cm}\textbf{Abstact}\\[0.5cm]
     1.5 +%Hab noch keine Ahnung, was ich da rein schreiben soll, aber alles wird gut :) HOFFENTLICH!!!!!!\\
     1.6 +%Allgemeine Einleitun?
     1.7 +\section{Background}
     1.8 +%Warum ich diese Arbeit schreibe?
     1.9 +\section{Goal of the thesis}
    1.10 +\subsection{Current situation}
    1.11 +%Lernsystem, das Wert auf "`Durchsichtigkeit"' legt.
    1.12 +\subsection{Problem} 
    1.13 +%Das Kürzen von Multivariablen Polynomen ist noch nicht zufriedenstellend implimentiert.
    1.14 +\subsection{Expected results}
    1.15 +%richtige implimentierung in isac basierend auf Isabelle.\\
    1.16 +%Funktional programmiert und Schrittweise nach zu voll ziehren.\\
    1.17 +%Funktonen: Was wurde gemacht, Schrittweise auswählen, was man zuerst machen will, falls es mehrer Möglichkeiten gibt.(zumindest bei Univariaten Polynomen)
    1.18 +
    1.19 +\section{State of the art}
    1.20 +%Was ist vorhanden, was kann ich aus welchen Büchern für meine Arbeit verwenden?
    1.21 +%SCHEI?E; das weiß ich doch nicht GGGRRRRR hätt wohl doch früher anfangen sollen. :(
    1.22 +
    1.23 +%\newpage
    1.24 +\section{Thesis structure}
    1.25 +the proposed table of contents of the thesis on the chapter level is as follows:
    1.26 +\begin{enumerate}
    1.27 +	\item Introduction (7$-$10 pages)\\
    1.28 +	This chapter will tell about the \textit{ISAC}$-$Project, whats the goal of the thesis and will also contain the basic mathematical definitions.
    1.29 +	\item Univariate Polynomials (15-20 pages)\\
    1.30 +	This chapter will describe different Algorithms for univariate polynomials.
    1.31 +	\item Multivariate Polynomials (20-25 pages)\\
    1.32 +	This chapter will describe different Algorithms for multivariate polynomials.
    1.33 +	\item Functional programming (2-5 pages)
    1.34 +	\item Implimentation in \textit{ISAC}$-$Project (15-20 pages)
    1.35 +	\item Conclusion (2$-$3 pages)
    1.36 +\end{enumerate}
    1.37 +%\newpage
    1.38 +
    1.39 +\section{Timeline}
    1.40 +%Werd nie fertig.\\
    1.41 +\begin{center}
    1.42 +		\begin{tabular}{|l|l|l|}
    1.43 +		\hline
    1.44 +			 \textbf{Time}&\textbf{Thesis}&\textbf{Project}\\
    1.45 +			 ??? & Univariate Polynomials &  \\
    1.46 +			 ??? & Multivariate Polynomials &  \\
    1.47 +			??? & Conclusion and Introduction & Summary and Conclusions of Experiments\\
    1.48 +			\hline
    1.49 +		\end{tabular}
    1.50 +	\end{center}
    1.51 +		
    1.52 +\section{Bibliography}
    1.53 +mindestens 10
    1.54 +\begin{enumerate}
    1.55 + \item 
    1.56 + \item
    1.57 + \item
    1.58 + \item
    1.59 + \item
    1.60 + \item 
    1.61 + \item
    1.62 + \item
    1.63 + \item
    1.64 + \item
    1.65 +\end{enumerate} 
    1.66 \ No newline at end of file