summaryrefslogtreecommitdiffhomepage
path: root/source
diff options
context:
space:
mode:
Diffstat (limited to 'source')
-rw-r--r--source/dn001.05/paper.tex2
-rw-r--r--source/dn001.07/paper.tex2
2 files changed, 3 insertions, 1 deletions
diff --git a/source/dn001.05/paper.tex b/source/dn001.05/paper.tex
index 9f62265..7b3ae5c 100644
--- a/source/dn001.05/paper.tex
+++ b/source/dn001.05/paper.tex
@@ -39,7 +39,7 @@ Let $Pe(x, ..., z)$ be an execution product of variable arguments $x$, $...$, to
Let the index $i$ denote the current execution domain of an execution product.
\\ \\ Consider the following formula:
\begin{equation}
-Pe(x, ..., z) = \prod_{i=1}^{n}(x_{i} \times ... \times z_{i})+\mathbb{U}
+Pe(x, ..., z) = \prod_{i=1}^{n}(x_{i} \cdot ... \cdot z_{i})+\mathbb{U}
\end{equation}
In which we define as the execution product, where $\mathbb{U}$ is the Unknown Execution of $Pe(x, ..., z)$, now defined as $g(\mathbb{E})$.
diff --git a/source/dn001.07/paper.tex b/source/dn001.07/paper.tex
index 6e1deca..d2caef5 100644
--- a/source/dn001.07/paper.tex
+++ b/source/dn001.07/paper.tex
@@ -30,4 +30,6 @@ We assume that $u \in \mathbb{R}, \quad \forall u \in \mathbb{R} : u < \pi, \qua
\end{equation}
Where $u, u_{0} > 0, \quad u, u_{0} \in \mathbb{R}$, such that $S : (u, \pi) \to \mathbb{R}$.
+\section{Lemmas}
+
\end{document}