Mathematical Software – ICMS 2014

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

  • Hoon Hong
  • Chee Yap
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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-662-44199-2
  • 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