12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 22:05, 11 March 2009
, 22:05, 11 March 2009→Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>: spacing
<math>\begin{matrix}
<math>\begin{matrix}
\operatorname{r}f
\operatorname{r}f
& = & \texttt{uv} \cdot \texttt{du~dv} & + & \texttt{u(v)} \cdot \texttt{du~dv} & + & \texttt{(u)v} \cdot \texttt{du~dv} & + & \texttt{(u)(v)} \cdot \texttt{du dv}
& = & \texttt{uv} \cdot \texttt{du~dv} & + & \texttt{u(v)} \cdot \texttt{du~dv} & + & \texttt{(u)v} \cdot \texttt{du~dv} & + & \texttt{(u)(v)} \cdot \texttt{du~dv}
\\ \\
\\ \\
& = & \texttt{du~dv}
& = & \texttt{du~dv}