Proceedings of the 2009 conference on Symbolic numeric computation
ACM Digital Library