Physics Derivation Graph / navigation Sign in

Return to navigation page

Derivation: Lorentz transformation

Provide inputs and feeds and outputs for expr 1 is true under condition expr 2

latex: Eq.~\ref{eq:#1} is valid when Eq.~\ref{eq:#2} occurs; yields Eq.~\ref{eq:#3}.

TODO: provide both local-to-derivation expressions and global expressions

:

input count: 2


feed count: 0

output count: 1

:

Actions for new step

timing of Neo4j queries: