Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
ACM Digital Library