© 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. Front Matter
    Pages I-XIX
  2. María Alpuente, Demis Ballis, Julia Sapiña
    Pages 1-10
  3. Evan Austin, Scott Batson, Peter Curry, Bryan Williams
    Pages 11-18
  4. Lucas Barthelemy, Delaram Kahrobaei, Guénaël Renault, Zoran Šunić
    Pages 19-27
  5. Dan Bates, Danielle Brake, Matt Niemerg
    Pages 28-35
  6. Katja Berčič, Janoš Vidali
    Pages 36-44
  7. Mariya Bessonov, Dima Grigoriev, Vladimir Shpilrain
    Pages 45-54
  8. Abdullah Al-Azemi, Anton Betten, Sajeeb Roy Chowdhury
    Pages 71-79
  9. Taylor Brysiewicz
    Pages 80-88
  10. Jorge Caravantes, Laureano Gonzalez-Vega
    Pages 89-97
  11. Michela Ceria, Teo Mora, Andrea Visconti
    Pages 98-104
  12. Jin-San Cheng, Junyi Wen, Wenjian Zhang
    Pages 113-122
  13. Hagen Chrapary, Wolfgang Dalitz
    Pages 123-127
  14. Emmanouil Christoforou, Angelos Mantzaflaris, Bernard Mourrain, Julien Wintz
    Pages 128-136
  15. Giovanni Di Crescenzo, Delaram Kahrobaei, Matluba Khodjaeva, Vladimir Shpilrain
    Pages 137-146

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

Industry Sectors
IT & Software