ICMS 2018 - Sessions

The congress is organized in sessions, addressing different aspects of mathematical software. There will be also demos, tutorials and posters. If you would like to give a talk, you need to submit first a short abstract and then later an extended abstract to one of the organizers of the corresponding session. Proceedings of ICMS’18 will be published in the Lecture Notes in Computer Science series. See the guidelines for the details.

Publications

List of Sessions

  1. General Session (details)
  2. Algorithms and applications for curves and surfaces (details)
  3. Symbolic Summation and Integration (details)
  4. Polyhedral methods in geometry and optimization (details)
  5. Post-Quantum Group-based Cryptography (details)
  6. Groebner Bases (details)
  7. Machine Learning for Mathematical Software (details)
  8. Satisfiability Checking and Symbolic Computation (details)
  9. Mathematical Interfaces: Computing, Modeling, Web & Mobile (details)
  10. Backtrack search techniques in groups and combinatorics (details)
  11. Computational Algebraic Geometry (details)
  12. Symbolic Combinatorics (details)
  13. Towards Composable Mathematical Software (details)
  14. Management of Mathematical Software, Mathematical Knowledge and Research Data (details)
  15. Software for exact and certified numeric computations (details)
  16. Quantifier Reasoning (details)
  17. Formal and Informal Mathematical Corpora (details)
  18. Software for Mathematical Reasoning and Applications (details)

© 2024. All rights reserved.