TY - BOOK AU - Davenport,James H. AU - Kauers,Manuel AU - Labahn,George AU - Urban,Josef ED - SpringerLink (Online service) TI - Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings T2 - Theoretical Computer Science and General Issues SN - 9783319964188 AV - QA76.9.M35  U1 - 004.0151 23 PY - 2018/// CY - Cham PB - Springer International Publishing, Imprint: Springer KW - Computer science-Mathematics KW - Artificial intelligence KW - Computer security KW - Computer programming KW - Programming languages (Electronic computers) KW - Information storage and retrieval KW - Discrete Mathematics in Computer Science KW - Artificial Intelligence KW - Systems and Data Security KW - Programming Techniques KW - Programming Languages, Compilers, Interpreters KW - Information Storage and Retrieval N1 - Acceso multiusuario; Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary -- Mathematical problem solving platform N2 - This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018. The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of 20 topical sessions, each of which providing an overview of the challenges, achievements and progress in a subeld of mathematical software research, development and use UR - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-96418-8 ER -