This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
https://notendur.hi.is/hj/EE2/HD1lausn.pdf
Clicking on the step index will take you to the page where you can edit that step.
Index  Inference Rule  Input latex  Feeds latex  Output latex  step validity  dimension check  unit check  notes 

1  declare initial expr 



no validation is available for declarations 
9781951738:

9781951738:


2  declare initial expr 



no validation is available for declarations 
8435841627:

8435841627:


3  divide both sides by 



valid 
8435841627:
3497828859: 
8435841627:
3497828859: 

4  substitute LHS of expr 1 into expr 2 



LHS diff is 0 RHS diff is (pdg2834*pdg7343*pdg8179  pdg7586*pdg8134)/(pdg7586*pdg8134**2) 
3497828859:
9781951738: 8368984890: 
3497828859:
9781951738: 8368984890: 

5  simplify 



valid 
8368984890:
1190768176: 
8368984890:
1190768176: 

6  simplify 



valid 
1190768176:
3605073197: 
1190768176:
3605073197: 

7  substitute LHS of expr 1 into expr 2 



valid 
8435841627:
3605073197: 9847143017: 
8435841627:
3605073197: 9847143017: 

8  simplify 



valid 
9847143017:
9718685793: inconsistent dimensions 
9847143017:
9718685793: N/A 

9  declare final expr 



no validation is available for declarations 
9718685793:
inconsistent dimensions 
9718685793:
N/A 
symbol ID  category  latex  scope  dimension  name  value  Used in derivations  references  

4645  variable 
\kappa_T
\(\kappa_T\) 
real 

coefficient of isothermal compressibility 

6  
8134  variable 
P
\(P\) 
real 

pressure  13  
8179  constant 
R
\(R\) 
real 

ideal gas constant 
8.31446261815324 Jā
K^{ā1} mol^{ā1} 
8  
2834  variable 
n
\(n\) 
real 

amount of substance  8  
7586  variable 
V
\(V\) 
real 

volume  15  
7343  variable 
T
\(T\) 
real 

temperature  18 