Mathematical Software – ICMS 2018
6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Editors: Davenport, J.H., Kauers, M., Labahn, G., Urban, J. (Eds.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (59 chapters)
-
-
Inferring Safe Maude Programs with ÁTAME
Pages 1-10
-
Finding a Middle Ground for Computer-Aided Cryptography
Pages 11-18
-
Quadratic Time Algorithm for Inversion of Binary Permutation Polynomials
Pages 19-27
-
Paramotopy: Parameter Homotopies in Parallel
Pages 28-35
-
DiscreteZOO: Towards a Fingerprint Database of Discrete Objects
Pages 36-44
-
Table of contents (59 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Mathematical Software – ICMS 2018
- Book Subtitle
- 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
- Editors
-
- James H. Davenport
- Manuel Kauers
- George Labahn
- Josef Urban
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 10931
- Copyright
- 2018
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing AG, part of Springer Nature
- eBook ISBN
- 978-3-319-96418-8
- DOI
- 10.1007/978-3-319-96418-8
- Softcover ISBN
- 978-3-319-96417-1
- Edition Number
- 1
- Number of Pages
- XIX, 508
- Number of Illustrations
- 132 b/w illustrations
- Topics