Mathematical Software – ICMS 2018

1. Front Matter

   Pages I-XIX

   PDF

2. Inferring Safe Maude Programs with ÁTAME

   • María Alpuente, Demis Ballis, Julia Sapiña

   Pages 1-10

3. Finding a Middle Ground for Computer-Aided Cryptography

   • Evan Austin, Scott Batson, Peter Curry, Bryan Williams

   Pages 11-18

4. Quadratic Time Algorithm for Inversion of Binary Permutation Polynomials

   • Lucas Barthelemy, Delaram Kahrobaei, Guénaël Renault, Zoran Šunić

   Pages 19-27

5. Paramotopy: Parameter Homotopies in Parallel

   • Dan Bates, Danielle Brake, Matt Niemerg

   Pages 28-35

6. DiscreteZOO: Towards a Fingerprint Database of Discrete Objects

   • Katja Berčič, Janoš Vidali

   Pages 36-44

7. A Framework for Unconditionally Secure Public-Key Encryption (with Possible Decryption Errors)

   • Mariya Bessonov, Dima Grigoriev, Vladimir Shpilrain

   Pages 45-54

8. Classifying Cubic Surfaces over Finite Fields Using Orbiter

   • Anton Betten

   Pages 55-61

9. How Fast Can We Compute Orbits of Groups?

   • Anton Betten

   Pages 62-70

10. A Rainbow Clique Search Algorithm for BLT-Sets

    • Abdullah Al-Azemi, Anton Betten, Sajeeb Roy Chowdhury

    Pages 71-79

11. Numerical Software to Compute Newton Polytopes

    • Taylor Brysiewicz

    Pages 80-88

12. On the Interference Problem for Ellipsoids: Experiments and Applications

    • Jorge Caravantes, Laureano Gonzalez-Vega

    Pages 89-97

13. Efficient Computation of Squarefree Separator Polynomials

    • Michela Ceria, Teo Mora, Andrea Visconti

    Pages 98-104

14. libtropicon: A Scalable Library for Computing Intersection Points of Generic Tropical Hyper-surfaces

    • Tianran Chen

    Pages 105-112

15. Plotting Planar Implicit Curves and Its Applications

    • Jin-San Cheng, Junyi Wen, Wenjian Zhang

    Pages 113-122

16. Software Products, Software Versions, Archiving of Software, and swMATH

    • Hagen Chrapary, Wolfgang Dalitz

    Pages 123-127

17. Axl, a Geometric Modeler for Semi-algebraic Shapes

    • Emmanouil Christoforou, Angelos Mantzaflaris, Bernard Mourrain, Julien Wintz

    Pages 128-136

18. Efficient and Secure Delegation to a Single Malicious Server: Exponentiation over Non-abelian Groups

    • Giovanni Di Crescenzo, Delaram Kahrobaei, Matluba Khodjaeva, Vladimir Shpilrain

    Pages 137-146

19. NLP-Based Detection of Mathematics Subject Classification

    • Yihe Dong

    Pages 147-155

20. NLP and Large-Scale Information Retrieval on Mathematical Texts

    • Yihe Dong

    Pages 156-164

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

• University of Bath, Bath, United Kingdom

  James H. Davenport

• Johannes Kepler University, Linz, Austria

  Manuel Kauers

• University of Waterloo, Waterloo, Canada

  George Labahn

• Czech Technical University in Prague, Prague 6, Czech Republic

  Josef Urban

Policies and ethics