Return to navigation page or list derivations

Review Newton's Second Law of Motion: vector to scalar

step inference rule input feed output step validity (as per SymPy)
0
  • 0000111981: declare initial expression
  • number of inputs: 0; feeds: 0; outputs: 1
  • Eq.~\ref{eq:#1} is an initial equation.
  1. 0007455074
    \(\vec{F} = m\ \vec{a}\)
 no validation is available for declarations
1
  • 0000111981: declare initial expression
  • number of inputs: 0; feeds: 0; outputs: 1
  • Eq.~\ref{eq:#1} is an initial equation.
  1. 1075552184
    \(|\vec{a}| = a\)
 no validation is available for declarations
2
  • 0000111981: declare initial expression
  • number of inputs: 0; feeds: 0; outputs: 1
  • Eq.~\ref{eq:#1} is an initial equation.
  1. 1219718533
    \(|\vec{F}| = F\)
 no validation is available for declarations
3
  • 1379304934: magnitude of vectors
  • number of inputs: 1; feeds: 0; outputs: 1
  • Absolute value of both sides
  1. 0007455074
    \(\vec{F} = m\ \vec{a}\)
  1. 5272284986
    \(|\vec{F}| = |m\ \vec{a}|\)
 unrecognized inference rule: magnitude of vectors
4
  • 0000111732: substitute LHS of two expressions into expression
  • number of inputs: 3; feeds: 0; outputs: 1
  • Substitute LHS of Eq.~\ref{eq:#1} and LHS of Eq.~\ref{eq:#2} into Eq.~\ref{eq:#3}; yields Eq.~\ref{eq:#4}.
  1. 5272284986
    \(|\vec{F}| = |m\ \vec{a}|\)
  2. 1219718533
    \(|\vec{F}| = F\)
  3. 1075552184
    \(|\vec{a}| = a\)
  1. 5345738321
    \(F = m a\)
 missing SymPy for LHS of expression 1075552184
5
  • 0000111341: declare final expression
  • number of inputs: 1; feeds: 0; outputs: 0
  • Eq.~\ref{eq:#1} is one of the final equations.
  1. 5345738321
    \(F = m a\)
no validation is available for declarations

Symbols used in Newton's Second Law of Motion: vector to scalar

Steps and expressions for Newton's Second Law of Motion: vector to scalar

d3js visualization of steps and expressions in Newton's Second Law of Motion: vector to scalar


Hold the mouse over a node to highlight that node and its neighbors. You can zoom in/out. You can pan the image. You can move nodes by clicking and dragging.

Actions: Edit Derivation

Generate Tex file or PDF file
   xor   

Delete Derivation and all associated steps

This does not remove expressions, symbols, and operations.

timing of Neo4j queries: