summaryrefslogtreecommitdiffhomepage
path: root/source
diff options
context:
space:
mode:
authorAmlal El Mahrouss <amlal@nekernel.org>2026-02-15 20:08:27 +0100
committerAmlal El Mahrouss <amlal@nekernel.org>2026-02-15 20:08:27 +0100
commit0b7c804af8ceb95b2d59513015754fe4347aea79 (patch)
tree5df52ddf32f326ca2368c3d191bc9756792e8203 /source
parent0d4e331bf68a28919e9e4342f8b2676b4b99f0e3 (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.tex14
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}