TY - BOOK AU - Davenport,James Harold AU - Kauers,Manuel AU - Labahn,G. AU - Urban,Josef ED - International Congress of Mathematical Software TI - Mathematical software -- ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings T2 - Lecture notes in computer science, SN - 9783319964188 AV - QA76.95 U1 - 510.285 23 PY - 2018/// CY - Cham, Switzerland PB - Springer KW - Mathematics KW - Data processing KW - Congresses KW - Computer software KW - Mathématiques KW - Informatique KW - Congrès KW - Logiciels KW - Artificial intelligence KW - bicssc KW - Computer security KW - Computer programming KW - software development KW - Programming & scripting languages: general KW - Information retrieval KW - Discrete mathematics KW - Computers KW - Intelligence (AI) & Semantics KW - bisacsh KW - Security KW - General KW - Programming KW - Programming Languages KW - System Administration KW - Storage & Retrieval KW - Data Processing KW - fast KW - Congress KW - proceedings (reports) KW - aat KW - Conference papers and proceedings KW - lcgft KW - Actes de congrès KW - rvmgf N1 - International conference proceedings; Includes author index; 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 - https://link.springer.com/10.1007/978-3-319-96418-8 ER -