diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-15 20:08:27 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-15 20:08:27 +0100 |
| commit | 0b7c804af8ceb95b2d59513015754fe4347aea79 (patch) | |
| tree | 5df52ddf32f326ca2368c3d191bc9756792e8203 /source | |
| parent | 0d4e331bf68a28919e9e4342f8b2676b4b99f0e3 (diff) | |
chore: fine tune WG04.1 paper.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
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} |
