Collection

ICMS 2018 (USA)

The special issue is available on SpringerLink: Special Issue: Selected Extended Papers from ICMS 2018

This special issue will include selected refereed papers presented at the ICMS 2018 conference, July 24-27, 2018, Notre Dame, USA.

All papers will be refereed according to the high standards of MCS.

Specific topics include, but are not limited to:

• 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

Paper Submission: Authors must submit their articles using EasyChair.

Important Dates:

Submission deadline extended: 30 November 2018

Author notification: February 2019

Camera ready: March 2019

For all information in one page kindly download the PDF: MCS - Call for Papers - Special Issue ICMS 2018

Editors

Articles (10 in this collection)

  1. Foreword

    Authors

    • George Labahn
    • James H. Davenport
    • Josef Urban
    • Content type: EditorialNotes
    • Published: 23 April 2020
    • Pages: 531 - 532