Proceedings of the 2007 international workshop on Symbolic-numeric computation
ACM Digital Library