This is a special issue of the journal Mathematics in Computer Science focusing on Mathematical Software as in the conference ICMS2018.

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

• Full papers of not more than 15 pages describing some aspect of mathematical software.

List of Topics

• Algorithms and applications for curves and surfaces
• Symbolic Summation and Integration
• Polyhedral methods in geometry and optimization
• Post-Quantum Group-based Cryptography
• Gröbner Bases
• Machine Learning for Mathematical Software
• Satisfiability Checking and Symbolic Computation
• Mathematical Interfaces: Computing, Modeling, Web & Mobile
• Backtrack search techniques in groups and combinatorics
• Computational Algebraic Geometry
• Symbolic Combinatorics
• Towards Composable Mathematical Software
• Management of Mathematical Software, Mathematical Knowledge and Research Data
• Software for exact and certified numeric computations
• Quantifier Reasoning
• Formal and Informal Mathematical Corpora
• Software for Mathematical Reasoning and Applications

Editors

• James Davenport
• Manuel Kauers
• George Labahn
• Josef Urban

Contact

All questions about submissions should be emailed to James Davenport (J.H.Davenport@bath.ac.uk)