In the Internet I have found the article about the VEST package for abstract vector calculus simplification in Mathematica. http://arxiv.org/abs/1309.2561 However, I can not find any reference for downloading this package. Does anybody know where I can download this package?
Sorry about this, I was under the impression the CPC library was available to everybody. I tried to upload the code to arXiv but it didn't work, so the Mathematica package and a tutorial notebook can now be found on ResearchGate or github. Hopefully I can set up a more convenient spot for people to download the package soon.
I finally found where to download this package. http://cpc.cs.qub.ac.uk/summaries/AEQN_v1_0.html But it is free only if your institution is a subscriber to Elsevier's Computer Physics as Sjoerd C. de Vries mentioned above.