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

  6. Computational Topology

    1. Henry Adams, Andrew Tausz, Mikael Vejdemo-Johansson
      Pages 129-136
    2. Ulrich Bauer, Michael Kerber, Jan Reininghaus, Hubert Wagner
      Pages 137-143
    3. Emerson G. Escolar, Yasuaki Hiraoka
      Pages 144-151
    4. Michael Joswig, Frank H. Lutz, Mimi Tsuruga
      Pages 152-159
    5. Mateusz Juda, Marian Mrozek
      Pages 160-166
    6. Clément Maria, Jean-Daniel Boissonnat, Marc Glisse, Mariette Yvinec
      Pages 167-174
  7. Numerical Algebraic Geometry

    1. Daniel A. Brake, Daniel J. Bates, Wenrui Hao, Jonathan D. Hauenstein, Andrew J. Sommese, CharlesW. Wampler
      Pages 175-182
  8. Geometry

    1. Panagiotis Cheilaris, Sandeep Kumar Dey, Maria Gabrani, Evanthia Papadopoulou
      Pages 198-205
    2. Deok-Soo Kim, Youngsong Cho, Jae-Kwan Kim, Joonghyun Ryu, Mokwon Lee, Jehyun Cha et al.
      Pages 206-213
    3. Douglas Navarro Guevara, Adrian Navarro Alvarez
      Pages 222-229
    4. Yongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang
      Pages 230-234
    5. Wei Su, Paul S. Wang, Chuan Cai, Lian Li
      Pages 235-239
    6. Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song
      Pages 240-245
  9. Curves and Surfaces

    1. Daniel J. Bates, Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler
      Pages 246-252
    2. Jyh-Ming Lien, Vikram Sharma, Gert Vegter, Chee Yap
      Pages 277-282
  10. Quantified Reasoning

    1. Changbo Chen, Marc Moreno Maza
      Pages 283-290
    2. Eugene Goldberg, Panagiotis Manolios
      Pages 291-294
    3. Ajith K. John, Supratik Chakraborty
      Pages 295-302
    4. Konstantin Korovin, Margus Veanes
      Pages 303-306
    5. Florian Lonsing, Uwe Egly
      Pages 307-314

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-44198-5
  • Online ISBN 978-3-662-44199-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site