Foundations of computational mathematics, Hong Kong 2008 / ed. by Felipe Cucker ...