Mathematical Software – ICMS 2018

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

  • James H. Davenport
  • Manuel Kauers
  • George Labahn
  • Josef Urban

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10931)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10931)

Table of contents

  1. Conrad Sanderson, Ryan Curtin
    Pages 422-430
  2. Shizuka Shirai, Tetsuo Fukui, Kentaro Yoshitomi, Mitsuru Kawazoe, Takahiro Nakahara, Yasuyuki Nakamura et al.
    Pages 431-437
  3. Bianca Sosnovski
    Pages 438-447
  4. Fernando Vale-Enriquez, Christopher W. Brown
    Pages 466-474
  5. Alexander Wood, Vladimir Shpilrain, Kayvan Najarian, Ali Mostashari, Delaram Kahrobaei
    Pages 475-481
  6. Jing Yang, Chee K. Yap
    Pages 482-491
  7. Back Matter
    Pages 507-508

About these 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.


computer algebra symbolic computation numerical analysis mathematical software optimization computational logic satisfiability checking machine learning algorithmic combinatorics mathematical languages semantics artificial intelligence data security formal logic information retrieval authentication information services Computer-Aided Design programming languages public key cryptography

Editors and affiliations

  1. 1.University of BathBathUnited Kingdom
  2. 2.Johannes Kepler UniversityLinzAustria
  3. 3.University of WaterlooWaterlooCanada
  4. 4.Czech Technical University in PraguePrague 6Czech Republic

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-96417-1
  • Online ISBN 978-3-319-96418-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment