VEST: Abstract vector calculus simplification in Mathematica. - Jonathan Squire; Joshua W. Burby; Hong Qin 002 (Comput. Phys. Commun., 2014)