Skip to main content
SpringerLink
Log in
Book cover

Mathematical Software – ICMS 2018

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. James H. Davenport

    1. University of Bath, Bath, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manuel Kauers

    1. Johannes Kepler University, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. George Labahn

    1. University of Waterloo, Waterloo, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Josef Urban

    1. Czech Technical University in Prague, Prague 6, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICMS 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (59 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter 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
Back to top

Other volumes

  1. Mathematical Software – ICMS 2018

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation