TY - GEN A1 - Greuel, Martin A1 - Koch, Thorsten A1 - Paule, Peter A1 - Sommese, Andrew T1 - Mathematical Software - ICMS 2016, 5th Int. Conf. Berlin, Germany, July 11-14, 2016, Proceedings T2 - Lecture Notes in Computer Science (LNCS) Y1 - 2016 SN - 978-3-319-42431-6 U6 - https://doi.org/10.1007/978-3-319-42432-3 VL - 9725 PB - Springer ER -