© 2014

Mathematical Software – ICMS 2014

4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

  • Hoon Hong
  • Chee Yap
Conference proceedings ICMS 2014

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Jonathan M. Borwein
      Pages 1-8
    2. Bruno Buchberger
      Pages 9-15
  3. Mathematical Theory Exploration

  4. Computational Group Theory

    1. Alexandre Borovik, Şükrü Yalçınkaya
      Pages 53-58
    2. Heiko Dietrich, Paolo Faccin, Willem A. de Graaf
      Pages 59-66
    3. Attila Egri-Nagy, Andrew R. Francis, Volker Gebhardt
      Pages 67-74
    4. Attila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv
      Pages 75-82
    5. Alexander Hulpke
      Pages 87-91
    6. Mark van Hoeij, Raimundas Vidunas
      Pages 92-98
  5. Coding Theory

About these proceedings


This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.


LaTeX TeX computational geometry computations in finite fields computer algebra systems data management systems differential algebra graphical user interface hybrid symbolic-numeric methods linear algebra algorithms parallel computing methodologies software library symbolic and algebraic manipulation theorem proving algorithms user interfaces verification

Editors and affiliations

  • Hoon Hong
    • 1
  • Chee Yap
    • 2
  1. 1.Department of MathematicsNorth Carolina State UniversityRaleighUSA
  2. 2.Courant Institute, Dept. of Computer ScienceNew York InstituteNew YorkUSA

Bibliographic information

Industry Sectors
IT & Software