Proceedings of the 2015 International Workshop on Parallel Symbolic Computation
ACM Digital Library