12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 03:45, 12 March 2009
, 03:45, 12 March 2009→Computation Summary : <math>g(u, v) = \texttt{((u, v))}</math>: markup
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
|
|
<math>\begin{matrix}
<math>\begin{array}{lll}
\operatorname{d}g
\operatorname{d}g
& = & \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)}
\end{matrix}</math>
\end{array}</math>
|}
|}