Wang, Pengming Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Wang, P. (2012). Certification of Curve Arrangements. Master Thesis, Universität des Saarlandes, Saarbrücken.