Proceedings of the 2014 Symposium on Symbolic-Numeric Computation
ACM Digital Library