Mathematical Software – ICMS 2014

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

  • Hoon Hong
  • Chee Yap
Conference proceedings ICMS 2014

DOI: 10.1007/978-3-662-44199-2

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

Table of contents (108 papers)

  1. Front Matter
  2. Invited Talks

    1. Experimental Computation and Visual Theorems
      Jonathan M. Borwein
      Pages 1-8
    2. Soft Math Math Soft
      Bruno Buchberger
      Pages 9-15
  3. Mathematical Theory Exploration

  4. Computational Group Theory

    1. New Approaches in Black Box Group Theory
      Alexandre Borovik, Şükrü Yalçınkaya
      Pages 53-58
    2. A GAP Package for Computing with Real Semisimple Lie Algebras
      Heiko Dietrich, Paolo Faccin, Willem A. de Graaf
      Pages 59-66
    3. Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP
      Attila Egri-Nagy, Andrew R. Francis, Volker Gebhardt
      Pages 67-74
    4. SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups
      Attila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv
      Pages 75-82
    5. Software for Groups: Theory and Practice
      Alexander Hulpke
      Pages 87-91
    6. Computation of Genus 0 Belyi Functions
      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

  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-44198-5
  • Online ISBN 978-3-662-44199-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349