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

You must be logged in to edit the steps of derivation, edit the abstract, or rename the derivation.

Generate Tex file or PDF file
   xor   

Delete Derivation and all associated steps

You must be logged in to delete the derivation.

timing of Neo4j queries: