Title: Parallel Symbolic Computing : Languages, Systems, and Applications