Skip to main content
Springer Nature Link
Log in

Mathematical Software -- ICMS 2014

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Hoon Hong

    1. Department of Mathematics, North Carolina State University, Raleigh, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Chee Yap

    1. Courant Institute, Dept. of Computer Science, New York Institute, New York, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICMS 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (108 papers)

  1. Front Matter

    Download chapter PDF

  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

  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. Approximating Generators for Integral Arithmetic Groups

      • Bettina Eick
      Pages 83-86

    6. Software for Groups: Theory and Practice

      • Alexander Hulpke
      Pages 87-91

    7. Computation of Genus 0 Belyi Functions

      • Mark van Hoeij, Raimundas Vidunas
      Pages 92-98

    8. On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category

      • Yasuhiro Momose, Yasuhide Numata
      Pages 99-105
Back to top

Other volumes

  1. Mathematical Software – ICMS 2014

Editors and Affiliations

  • Department of Mathematics, North Carolina State University, Raleigh, USA

    Hoon Hong

  • Courant Institute, Dept. of Computer Science, New York Institute, New York, USA

    Chee Yap

Bibliographic Information

Publish with us

Policies and ethics

Back to top