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




