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
  16. Matthew England
    Pages 165-174
  17. William M. Farmer
    Pages 175-181
  18. Ethan Petersen, Nora Youngs, Ryan Kruse, Dane Miyata, Rebecca Garcia, Luis David García Puente
    Pages 182-190
  19. Amir Hashemi, Mahdi Dehghani Darmian, Marzieh Barkhordar
    Pages 191-199
  20. Jonathan D. Hauenstein, Avinash Kulkarni, Emre C. Sertöz, Samantha N. Sherman
    Pages 200-208
  21. Jan Horáček, Martin Kreuzer
    Pages 209-217
  22. Kelsey Horan, Delaram Kahrobaei
    Pages 218-226
  23. Paula Hähndel, Rebecca Waldecker
    Pages 227-234
  24. Rémi Imbach, Victor Y. Pan, Chee Yap
    Pages 235-244
  25. Michael Joswig, Lars Kastner
    Pages 264-271
  26. Sohee Kang, Marco Pollanen, Sotirios Damouras, Bruce Cater
    Pages 280-288
  27. Daniel S. Katz, Neil P. Chue Hong
    Pages 289-296
  28. Seyeon Kim, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr
    Pages 297-304
  29. Robert Lewis, Béla Paláncz, Joseph Awange
    Pages 319-327
  30. Anton Leykin
    Pages 328-334
  31. Manuel Machado Martins, Markus Pfeiffer
    Pages 352-358
  32. Casey B. Mulligan, James H. Davenport, Matthew England
    Pages 369-378
  33. Yongsheng Rao, Hao Guan, Ruxian Chen, Yu Zuo, Ying Wang
    Pages 389-396
  34. Danielle A. Brake, Jonathan D. Hauenstein, Margaret H. Regan
    Pages 397-404

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 Computer Science (R0)
  • 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