Algorithms and computation 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, proceedings - International Symposium, ISAAC 2013 (Springer Berlin Heidelberg, 2013)