Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

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.

List of contents

Logic.- Number theory.- Combinatorics.- Algebra.- Analysis.- Geometry.- Inter-disciplinary.- Mathematical problem solving platform.

Summary

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.

Product details

• Assisted by: James H. Davenport (Editor), Manue Kauers (Editor), Manuel Kauers (Editor), George Labahn (Editor), George Labahn et al (Editor), Josef Urban (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2018
• EAN: 9783319964171
• ISBN: 978-3-31-996417-1
• No. of pages: 508
• Dimensions: 157 mm x 31 mm x 235 mm
• Weight: 791 g
• Illustrations: XIX, 508 p. 132 illus.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Computersicherheit, C, Künstliche Intelligenz, Netzwerksicherheit, Artificial Intelligence, Computerprogrammierung und Softwareentwicklung, Diskrete Mathematik, Data Warehousing, Informationsrückgewinnung, Information Retrieval, Compiler und Übersetzer, computer science, Information Retrieval, Systems and Data Security, Data and Information Security, Discrete Mathematics in Computer Science, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Network Security, Computer security, Computer programming / software engineering, Computer science—Mathematics, Maths for computer scientists, Information Storage and Retrieval, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Compilers and Interpreters