Dieses Buch kaufen
- Über dieses Buch
-
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.
- Inhaltsverzeichnis (49 Kapitel)
-
-
Inferring Safe Maude Programs with ÁTAME
Seiten 1-10
-
Finding a Middle Ground for Computer-Aided Cryptography
Seiten 11-18
-
Quadratic Time Algorithm for Inversion of Binary Permutation Polynomials
Seiten 19-27
-
Paramotopy: Parameter Homotopies in Parallel
Seiten 28-35
-
DiscreteZOO: Towards a Fingerprint Database of Discrete Objects
Seiten 36-44
-
Inhaltsverzeichnis (49 Kapitel)
Dieses Buch kaufen
Services zu diesem Buch
Wir empfehlen
Bibliografische Information
- Bibliographic Information
-
- Buchtitel
- Mathematical Software – ICMS 2018
- Buchuntertitel
- 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
- Herausgeber
-
- James H. Davenport
- Manuel Kauers
- George Labahn
- Josef Urban
- Titel der Buchreihe
- Theoretical Computer Science and General Issues
- Buchreihen Band
- 10931
- Copyright
- 2018
- Verlag
- Springer International Publishing
- Copyright Inhaber
- 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
- Auflage
- 1
- Seitenzahl
- XIX, 508
- Anzahl der Bilder
- 132 schwarz-weiß Abbildungen
- Themen
