Before revision: Derivation in physics, in the form of derivation reconstruction of published results , is expensive and difficult to automate, not least because the use of mathematics by physicists is less formal than that of mathematicians.
After revision: Derivation in physics, in the form of derivation reconstruction of published results , is expensive and difficult to automate, not least because the use of mathematics by physicists , compared to that of mathematicians.