12,122
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 04:15, 10 March 2009
, 04:15, 10 March 2009→Computation Summary : <math>f(u, v) = \texttt{((u)(v))}</math>
</pre>
</pre>
Figure 1.3 expands Df = f + Ef over [u, v] to produce:
Figure 1.3 expands <math>\operatorname{D}f = f + \operatorname{E}f</math> over <math>[u, v]\!</math> to produce:
uv.du dv + u(v).du(dv) + (u)v.(du)dv + (u)(v).((du)(dv))
{| align="center" cellpadding="8" width="90%"
| <math>\texttt{uv~du~dv ~+~ u(v)~du(dv) ~+~ (u)v~(du)dv ~+~ (u)(v)~((du)(dv))}</math>
|}
<pre>
<pre>