Changes

MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)

Revision as of 19:11, 23 September 2013

9,568 bytes added ,  19:11, 23 September 2013
update
Line 10,841: Line 10,841:  
<math>\begin{array}{c*{8}{l}}
 
<math>\begin{array}{c*{8}{l}}
 
\mathrm{D}f_{9}
 
\mathrm{D}f_{9}
−
& = & \texttt{ } u \texttt{  } v \texttt{ } \!\cdot\! \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
+
& = & \texttt{ } u \texttt{  } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
−
& + & \texttt{ } u \texttt{ (} v \texttt{)} \!\cdot\! \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
+
& + & \texttt{ } u \texttt{ (} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
−
& + & \texttt{(} u \texttt{) } v \texttt{ } \!\cdot\! \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
+
& + & \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
−
& + & \texttt{(} u \texttt{)(} v \texttt{)} \!\cdot\! \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
+
& + & \texttt{(} u \texttt{)(} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
 
\\[6pt]
 
\\[6pt]
 
\Downarrow
 
\Downarrow
 
\\[6pt]
 
\\[6pt]
 
\mathrm{d}f_{9}
 
\mathrm{d}f_{9}
−
& = & \texttt{ } u \texttt{  } v \texttt{ } \!\cdot\! \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
+
& = & \texttt{ } u \texttt{  } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
−
& + & \texttt{ } u \texttt{ (} v \texttt{)} \!\cdot\! \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
+
& + & \texttt{ } u \texttt{ (} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
−
& + & \texttt{(} u \texttt{) } v \texttt{ } \!\cdot\! \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
+
& + & \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
−
& + & \texttt{(} u \texttt{)(} v \texttt{)} \!\cdot\! \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
+
& + & \texttt{(} u \texttt{)(} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
 
\end{array}</math>
 
\end{array}</math>
 
|}
 
|}
Line 10,937: Line 10,937:     
=====Computation of &epsilon;''f''<sub>14</sub>=====
 
=====Computation of &epsilon;''f''<sub>14</sub>=====
 +
 +
<br>
 +
 +
{| align="center" border="1" cellpadding="10" cellspacing="0" style="text-align:left; width:90%"
 +
|+ style="height:30px" | <math>\text{Table F14.1} ~~ \text{Computation of}~ \boldsymbol\varepsilon f_{14}\!</math>
 +
|
 +
<math>\begin{array}{*{10}{l}}
 +
\boldsymbol\varepsilon f_{14}
 +
& = && f_{14}(u, v)
 +
\\[4pt]
 +
& = && \texttt{((} u \texttt{)(} v \texttt{))}
 +
\\[4pt]
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \cdot f_{14}(1, 1)
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \cdot f_{14}(1, 0)
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \cdot f_{14}(0, 1)
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \cdot f_{14}(0, 0)
 +
\\[4pt]
 +
& = && \texttt{ } u \texttt{  } v \texttt{ }
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)}
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ }
 +
& + &  0
 +
\\[20pt]
 +
\boldsymbol\varepsilon f_{14}
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{)}
 +
& + &  0
 +
\\[4pt]
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{)~} \mathrm{d}v \texttt{~}
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{)~} \mathrm{d}v \texttt{~}
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{)~} \mathrm{d}v \texttt{~}
 +
& + &  0
 +
\\[4pt]
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \cdot \texttt{~} \mathrm{d}u \texttt{~(} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \cdot \texttt{~} \mathrm{d}u \texttt{~(} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{~} \mathrm{d}u \texttt{~(} \mathrm{d}v \texttt{)}
 +
& + &  0
 +
\\[4pt]
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \cdot \texttt{~} \mathrm{d}u \texttt{~~} \mathrm{d}v \texttt{~}
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \cdot \texttt{~} \mathrm{d}u \texttt{~~} \mathrm{d}v \texttt{~}
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{~} \mathrm{d}u \texttt{~~} \mathrm{d}v \texttt{~}
 +
& + &  0
 +
\end{array}</math>
 +
|}
 +
 +
<br>
    
=====Computation of E''f''<sub>14</sub>=====
 
=====Computation of E''f''<sub>14</sub>=====
 +
 +
<br>
 +
 +
{| align="center" border="1" cellpadding="10" cellspacing="0" style="text-align:left; width:90%"
 +
|+ style="height:30px" | <math>\text{Table F14.2} ~~ \text{Computation of}~ \mathrm{E}f_{14}\!</math>
 +
|
 +
<math>\begin{array}{*{10}{l}}
 +
\mathrm{E}f_{14}
 +
& = && f_{14}(u + \mathrm{d}u, v + \mathrm{d}v)
 +
\\[4pt]
 +
& = && \texttt{(((} u \texttt{,} \mathrm{d}u \texttt{))((} v \texttt{,} \mathrm{d}v \texttt{)))}
 +
\\[4pt]
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \!\cdot\! f_{14}(\texttt{(} \mathrm{d}u \texttt{)}, \texttt{(} \mathrm{d}v \texttt{)})
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \!\cdot\! f_{14}(\texttt{(} \mathrm{d}u \texttt{)}, \texttt{ } \mathrm{d}v \texttt{ })
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \!\cdot\! f_{14}(\texttt{ } \mathrm{d}u \texttt{ }, \texttt{(} \mathrm{d}v \texttt{)})
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \!\cdot\! f_{14}(\texttt{ } \mathrm{d}u \texttt{ }, \texttt{ } \mathrm{d}v \texttt{ })
 +
\\[4pt]
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \!\cdot\! \texttt{(} \mathrm{d}u \texttt{~} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \!\cdot\! \texttt{(} \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{))}
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \!\cdot\! \texttt{((} \mathrm{d}u \texttt{)} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \!\cdot\! \texttt{((} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{))}
 +
\\[20pt]
 +
\mathrm{E}f_{14}
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{)}
 +
& + &  0
 +
\\[4pt]
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{)~} \mathrm{d}v \texttt{~}
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{)~} \mathrm{d}v \texttt{~}
 +
& + &  0
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{)~} \mathrm{d}v \texttt{~}
 +
\\[4pt]
 +
& = && \texttt{ } u \texttt{  } v \texttt{ } \cdot \texttt{~} \mathrm{d}u \texttt{~(} \mathrm{d}v \texttt{)}
 +
& + &  0
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{~} \mathrm{d}u \texttt{~(} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \cdot \texttt{~} \mathrm{d}u \texttt{~(} \mathrm{d}v \texttt{)}
 +
\\[4pt]
 +
& = && 0
 +
& + &  \texttt{ } u \texttt{ (} v \texttt{)} \cdot \texttt{~} \mathrm{d}u \texttt{~~} \mathrm{d}v \texttt{~}
 +
& + &  \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{~} \mathrm{d}u \texttt{~~} \mathrm{d}v \texttt{~}
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \cdot \texttt{~} \mathrm{d}u \texttt{~~} \mathrm{d}v \texttt{~}
 +
\end{array}</math>
 +
|}
 +
 +
<br>
    
=====Computation of D''f''<sub>14</sub>=====
 
=====Computation of D''f''<sub>14</sub>=====
 +
 +
<br>
 +
 +
{| align="center" border="1" cellpadding="10" cellspacing="0" style="text-align:left; width:90%"
 +
|+ style="height:30px" | <math>\text{Table F14.3-i} ~~ \text{Computation of}~ \mathrm{D}f_{14} ~\text{(Method 1)}\!</math>
 +
|
 +
<math>\begin{array}{*{10}{l}}
 +
\mathrm{D}f_{14}
 +
& = && \mathrm{E}f_{14}
 +
& + &  \boldsymbol\varepsilon f_{14}
 +
\\[4pt]
 +
& = && f_{14}(u + \mathrm{d}u, v + \mathrm{d}v)
 +
& + &  f_{14}(u, v)
 +
\\[4pt]
 +
& = && \texttt{(((} u \texttt{,} \mathrm{d}u \texttt{))((} v \texttt{,} \mathrm{d}v \texttt{)))}
 +
& + &  \texttt{((} u \texttt{)(} v \texttt{))}
 +
\\[20pt]
 +
\mathrm{D}f_{14}
 +
& = && 0
 +
& + &  0
 +
& + &  0
 +
& + &  0
 +
\\[4pt]
 +
&& + & 0
 +
& + &  0
 +
& + &  \texttt{(} u \texttt{)} v \!\cdot\! \texttt{(} \mathrm{d}u \texttt{)} \mathrm{d}v
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \!\cdot\! \texttt{~(} \mathrm{d}u \texttt{)~} \mathrm{d}v \texttt{~~}
 +
\\[4pt]
 +
&& + & 0
 +
& + &  u \texttt{(} v \texttt{)} \!\cdot\! \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{)}
 +
& + &  0
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \!\cdot\! \texttt{~~} \mathrm{d}u \texttt{~(} \mathrm{d}v \texttt{)~}
 +
\\[4pt]
 +
&& + & uv \!\cdot\! \mathrm{d}u ~ \mathrm{d}v
 +
& + &  0
 +
& + &  0
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \!\cdot\! \texttt{~~} \mathrm{d}u \texttt{~~} \mathrm{d}v \texttt{~~}
 +
\\[20pt]
 +
\mathrm{D}f_{14}
 +
& = && uv \!\cdot\! \mathrm{d}u ~ \mathrm{d}v
 +
& + &  u \texttt{(} v \texttt{)} \!\cdot\! \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{)}
 +
& + &  \texttt{(} u \texttt{)} v \!\cdot\! \texttt{(} \mathrm{d}u \texttt{)} \mathrm{d}v
 +
& + &  \texttt{(} u \texttt{)(} v \texttt{)} \!\cdot\! \texttt{((} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{))}
 +
\end{array}</math>
 +
|}
 +
 +
<br>
 +
 +
{| align="center" border="1" cellpadding="20" cellspacing="0" style="text-align:left; width:90%"
 +
|+ style="height:30px" | <math>\text{Table F14.3-ii} ~~ \text{Computation of}~ \mathrm{D}f_{14} ~\text{(Method 2)}\!</math>
 +
|
 +
<math>\begin{array}{*{9}{l}}
 +
\mathrm{D}f_{14}
 +
& = & \texttt{((} u \texttt{,} v \texttt{))} \cdot \mathrm{d}u ~ \mathrm{d}v
 +
& + & \texttt{(} v \texttt{)} \cdot \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{)}
 +
& + & \texttt{(} u \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{)} \mathrm{d}v
 +
& + & 0 \cdot \texttt{(} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{)}
 +
\end{array}</math>
 +
|}
 +
 +
<br>
    
=====Computation of d''f''<sub>14</sub>=====
 
=====Computation of d''f''<sub>14</sub>=====
 +
 +
<br>
 +
 +
{| align="center" border="1" cellpadding="20" cellspacing="0" style="text-align:left; width:90%"
 +
|+ style="height:30px" | <math>\text{Table F14.4} ~~ \text{Computation of}~ \mathrm{d}f_{14}\!</math>
 +
|
 +
<math>\begin{array}{c*{8}{l}}
 +
\mathrm{D}f_{14}
 +
& = & \texttt{ } u \texttt{  } v \texttt{ } \cdot \mathrm{d}u ~ \mathrm{d}v
 +
& + & \texttt{ } u \texttt{ (} v \texttt{)} \cdot \mathrm{d}u ~ \texttt{(} \mathrm{d}v \texttt{)}
 +
& + & \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{)} ~ \mathrm{d}v
 +
& + & \texttt{(} u \texttt{)(} v \texttt{)} \cdot \texttt{((} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{))}
 +
\\[6pt]
 +
\Downarrow
 +
\\[6pt]
 +
\mathrm{d}f_{14}
 +
& = & \texttt{ } u \texttt{  } v \texttt{ } \cdot 0
 +
& + & \texttt{ } u \texttt{ (} v \texttt{)} \cdot \mathrm{d}u
 +
& + & \texttt{(} u \texttt{) } v \texttt{ } \cdot \mathrm{d}v
 +
& + & \texttt{(} u \texttt{)(} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
 +
\end{array}</math>
 +
|}
 +
 +
<br>
    
=====Computation of r''f''<sub>14</sub>=====
 
=====Computation of r''f''<sub>14</sub>=====
 +
 +
<br>
 +
 +
{| align="center" border="1" cellpadding="20" cellspacing="0" style="text-align:left; width:90%"
 +
|+ style="height:30px" | <math>\text{Table F14.5} ~~ \text{Computation of}~ \mathrm{r}f_{14}\!</math>
 +
|
 +
<math>\begin{array}{c*{8}{l}}
 +
\mathrm{r}f_{14}
 +
& = & \mathrm{D}f_{14}
 +
& + & \mathrm{d}f_{14}
 +
\\[20pt]
 +
\mathrm{D}f_{14}
 +
& = & \texttt{ } u \texttt{  } v \texttt{ } \cdot \mathrm{d}u ~ \mathrm{d}v
 +
& + & \texttt{ } u \texttt{ (} v \texttt{)} \cdot \mathrm{d}u ~ \texttt{(} \mathrm{d}v \texttt{)}
 +
& + & \texttt{(} u \texttt{) } v \texttt{ } \cdot \texttt{(} \mathrm{d}u \texttt{)} ~ \mathrm{d}v
 +
& + & \texttt{(} u \texttt{)(} v \texttt{)} \cdot \texttt{((} \mathrm{d}u \texttt{)(} \mathrm{d}v \texttt{))}
 +
\\[6pt]
 +
\mathrm{d}f_{14}
 +
& = & \texttt{ } u \texttt{  } v \texttt{ } \cdot 0
 +
& + & \texttt{ } u \texttt{ (} v \texttt{)} \cdot \mathrm{d}u
 +
& + & \texttt{(} u \texttt{) } v \texttt{ } \cdot \mathrm{d}v
 +
& + & \texttt{(} u \texttt{)(} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{,} \mathrm{d}v \texttt{)}
 +
\\[20pt]
 +
\mathrm{r}f_{14}
 +
& = & \texttt{ } u \texttt{  } v \texttt{ } \cdot \mathrm{d}u ~ \mathrm{d}v
 +
& + & \texttt{ } u \texttt{ (} v \texttt{)} \cdot \mathrm{d}u ~ \mathrm{d}v
 +
& + & \texttt{(} u \texttt{) } v \texttt{ } \cdot \mathrm{d}u ~ \mathrm{d}v
 +
& + & \texttt{(} u \texttt{)(} v \texttt{)} \cdot \mathrm{d}u ~ \mathrm{d}v
 +
\end{array}</math>
 +
|}
 +
 +
<br>
    
=====Computation Summary for Disjunction=====
 
=====Computation Summary for Disjunction=====
Line 10,955: Line 11,164:  
<math>\begin{array}{c*{8}{l}}
 
<math>\begin{array}{c*{8}{l}}
 
\boldsymbol\varepsilon f_{14}
 
\boldsymbol\varepsilon f_{14}
−
& = & u \!\cdot\! v \cdot 1
+
& = & uv \cdot 1
 
& + & u \texttt{(} v \texttt{)} \cdot 1
 
& + & u \texttt{(} v \texttt{)} \cdot 1
 
& + & \texttt{(} u \texttt{)} v \cdot 1
 
& + & \texttt{(} u \texttt{)} v \cdot 1
Line 10,961: Line 11,170:  
\\[6pt]
 
\\[6pt]
 
\mathrm{E}f_{14}
 
\mathrm{E}f_{14}
−
& = & u \!\cdot\! v \cdot \texttt{(} \mathrm{d}u \cdot \mathrm{d}v \texttt{)}
+
& = & uv \cdot \texttt{(} \mathrm{d}u ~ \mathrm{d}v \texttt{)}
 
& + & u \texttt{(} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{))}
 
& + & u \texttt{(} v \texttt{)} \cdot \texttt{(} \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{))}
 
& + & \texttt{(} u \texttt{)} v \cdot \texttt{((} \mathrm{d}u \texttt{)} \mathrm{d}v \texttt{)}
 
& + & \texttt{(} u \texttt{)} v \cdot \texttt{((} \mathrm{d}u \texttt{)} \mathrm{d}v \texttt{)}
Line 10,967: Line 11,176:  
\\[6pt]
 
\\[6pt]
 
\mathrm{D}f_{14}
 
\mathrm{D}f_{14}
−
& = & u \!\cdot\! v \cdot \mathrm{d}u \cdot \mathrm{d}v
+
& = & uv \cdot \mathrm{d}u ~ \mathrm{d}v
 
& + & u \texttt{(} v \texttt{)} \cdot \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{)}
 
& + & u \texttt{(} v \texttt{)} \cdot \mathrm{d}u \texttt{(} \mathrm{d}v \texttt{)}
 
& + & \texttt{(} u \texttt{)} v \cdot \texttt{(} \mathrm{d}u \texttt{)} \mathrm{d}v
 
& + & \texttt{(} u \texttt{)} v \cdot \texttt{(} \mathrm{d}u \texttt{)} \mathrm{d}v
Line 10,973: Line 11,182:  
\\[6pt]
 
\\[6pt]
 
\mathrm{d}f_{14}
 
\mathrm{d}f_{14}
−
& = & u \!\cdot\! v \cdot 0
+
& = & uv \cdot 0
 
& + & u \texttt{(} v \texttt{)} \cdot \mathrm{d}u
 
& + & u \texttt{(} v \texttt{)} \cdot \mathrm{d}u
 
& + & \texttt{(} u \texttt{)} v \cdot \mathrm{d}v
 
& + & \texttt{(} u \texttt{)} v \cdot \mathrm{d}v
Line 10,979: Line 11,188:  
\\[6pt]
 
\\[6pt]
 
\mathrm{r}f_{14}
 
\mathrm{r}f_{14}
−
& = & u \!\cdot\! v \cdot \mathrm{d}u \cdot \mathrm{d}v
+
& = & uv \cdot \mathrm{d}u ~ \mathrm{d}v
−
& + & u \texttt{(} v \texttt{)} \cdot \mathrm{d}u \cdot \mathrm{d}v
+
& + & u \texttt{(} v \texttt{)} \cdot \mathrm{d}u ~ \mathrm{d}v
−
& + & \texttt{(} u \texttt{)} v \cdot \mathrm{d}u \cdot \mathrm{d}v
+
& + & \texttt{(} u \texttt{)} v \cdot \mathrm{d}u ~ \mathrm{d}v
−
& + & \texttt{(} u \texttt{)(} v \texttt{)} \cdot \mathrm{d}u \cdot \mathrm{d}v
+
& + & \texttt{(} u \texttt{)(} v \texttt{)} \cdot \mathrm{d}u ~ \mathrm{d}v
 
\end{array}</math>
 
\end{array}</math>
 
|}
 
|}
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/218128"

Navigation menu