Proceedings of the 2009 conference on Symbolic numeric computation - Kai