This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
Index | Inference Rule | Input latex | Feeds latex | Output latex | step validity | dimension check | unit check | notes |
---|---|---|---|---|---|---|---|---|
5 | declare final expr |
|
|
|
no validation is available for declarations |
8489593964:
error for dim with 8489593964 |
8489593964:
N/A |
|
2 | subtract X from both sides |
|
|
|
Nothing to split |
8489593958:
8489593960: |
8489593958:
8489593960: |
|
3 | swap LHS with RHS |
|
|
|
Nothing to split |
8489593960:
8489593962: no LHS/RHS split |
8489593960:
8489593962: N/A |
|
1 | declare identity |
|
|
|
no validation is available for declarations |
8489593958:
|
8489593958:
|
|
4 | indefinite integration |
|
|
|
Nothing to split |
8489593962:
no LHS/RHS split 8489593964: error for dim with 8489593964 |
8489593962:
N/A 8489593964: N/A |
symbol ID | category | latex | scope | dimension | name | value | Used in derivations | references | |
---|---|---|---|---|---|---|---|---|---|
5177 | variable |
v
\(v\) |
real | dimensionless | none |
|
2 | ||
4221 | variable |
u
\(u\) |
['real'] | dimensionless | 5 |