Return to navigation page or list derivations

Review frequency and period

step inference rule input feed output validity (as per SymPy)
3
  • ID: 111975; divide both sides by
  • number of inputs: 1; feeds: 1; outputs: 1
  • Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.
  1. 2131616531
    \(T f=1\)
  1. 9565166889
    \(T\)
  1. 2113211456
    \(f=1/T\)
valid
2
  • ID: 111182; multiply both sides by
  • number of inputs: 1; feeds: 1; outputs: 1
  • Multiply both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.
  1. 3131111133
    \(T=1 / f\)
  1. 9040079362
    \(f\)
  1. 2131616531
    \(T f=1\)
valid
4
  • ID: 111341; declare final expression
  • number of inputs: 1; feeds: 0; outputs: 0
  • Eq.~\\ref{eq:#1} is one of the final equations.
  1. 2113211456
    \(f=1/T\)
no validation is available for declarations
1
  • ID: 111981; declare initial expression
  • number of inputs: 0; feeds: 0; outputs: 1
  • Eq.~\\ref{eq:#1} is an initial equation.
  1. 3131111133
    \(T=1 / f\)
no validation is available for declarations


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: