© 2018

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
Conference proceedings ICMS 2018

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. Matthew England
    Pages 165-174
  2. William M. Farmer
    Pages 175-181
  3. Ethan Petersen, Nora Youngs, Ryan Kruse, Dane Miyata, Rebecca Garcia, Luis David García Puente
    Pages 182-190
  4. Amir Hashemi, Mahdi Dehghani Darmian, Marzieh Barkhordar
    Pages 191-199
  5. Jonathan D. Hauenstein, Avinash Kulkarni, Emre C. Sertöz, Samantha N. Sherman
    Pages 200-208
  6. Jan Horáček, Martin Kreuzer
    Pages 209-217
  7. Kelsey Horan, Delaram Kahrobaei
    Pages 218-226
  8. Paula Hähndel, Rebecca Waldecker
    Pages 227-234
  9. Rémi Imbach, Victor Y. Pan, Chee Yap
    Pages 235-244
  10. Michael Joswig, Lars Kastner
    Pages 264-271
  11. Sohee Kang, Marco Pollanen, Sotirios Damouras, Bruce Cater
    Pages 280-288
  12. Daniel S. Katz, Neil P. Chue Hong
    Pages 289-296
  13. Seyeon Kim, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr
    Pages 297-304
  14. Robert Lewis, Béla Paláncz, Joseph Awange
    Pages 319-327
  15. Anton Leykin
    Pages 328-334

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