TY - RPRT TI - VEST: abstract vector calculus simplification in Mathematica AU - Squire, J. AU - Burby, J. AU - Qin, H. PY - 2013 DO - 10.2172/1073490 UR - https://www.osti.gov/biblio/1073490 ID - 1073490 ER -