diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg04/paper.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/source/wg04/paper.tex b/source/wg04/paper.tex index 06ca1f4..9ffa777 100644 --- a/source/wg04/paper.tex +++ b/source/wg04/paper.tex @@ -23,7 +23,7 @@ \abstract { - This paper defines, and documents useful primitives to be used in the case of calculus. Them shall been kept abstract for the sole purpose of flexibility. + This paper defines, and documents useful primitives to be used in the case of calculus. They shall been kept abstract for the sole of flexibility. } \begin{center} @@ -43,13 +43,13 @@ Let the following definitions be used in mathematical analysis: Let an integral $\alpha$ be defined: \begin{equation} - \sum_{k=1}^{a_{n}} \int_{a_{0}}^{a_{n}} f_{k}(S(b_{a_{0}})) + C, \quad b_{a_{0}} > 0, \quad b_{a_{0}} \in \mathbb{R} + \sum_{k=1}^{a_{n}} \int_{a_{0}}^{a_{n}} f_{k}(S(b_{a_{0}})) \quad db_a{0}, \quad b_{a_{0}} > 0, \quad b_{a_{0}} \in \mathbb{R} \end{equation} Such that: \begin{equation} a > 0, \quad a \in \mathbb{R}, \quad k \neq 0, \quad k \in \mathbb{R} \end{equation} -Such that $S$ is a user-defined computing function of a sum $b_{a_{0}}$. +Such that $S$ is a user-defined computing function of a sum $b_{a_{0}}$ \subsection{Definition of Ze in $\mathbb{R}$} |