diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg04/paper.tex | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/source/wg04/paper.tex b/source/wg04/paper.tex index 09cee31..b61a97f 100644 --- a/source/wg04/paper.tex +++ b/source/wg04/paper.tex @@ -21,19 +21,9 @@ \rule[0.01cm]{17cm}{0.01cm} \end{center} -\abstract -{ - This paper defines, and documents useful primitives to be used in the case of calculus. They shall be kept abstract for the purpose of flexibility. -} +\section{Abstract} -\begin{center} - \rule[1cm]{17cm}{0.01cm} -\end{center} - -\section{Introduction} - -We will define in this paper useful primitives in order to complete analysis in a mathematical manner.\\ -It will contain definitions and properties in a top-to-bottom order. +We will introduce in this paper useful primitives in order to help in analysis. We will also define and describe properties in a top-to-bottom order. \section{Definitions} |