# example derivation steps for a CAS or theorem prover to validate

Published 2020-02-04T02:23:00.004Z by Physics Derivation Graph

in order of increasing complexity, here are a set of derivation steps for a CAS or theorem prover to validate

end with "a + 2 = b + 2"

multiply both sides by "2"
end with "2 \sin x = 2 f(x)"