Mathematical Software -- ICMS 2014

1. Front Matter

   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

3. Mathematical Theory Exploration

   1. Flyspecking Flyspeck

      • Mark Adams

      Pages 16-20

   2. Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions

      • Youngjoo Chung

      Pages 21-25

   3. Representing, Archiving, and Searching the Space of Mathematical Knowledge

      • Mihnea Iancu, Michael Kohlhase, Corneliu Prodescu

      Pages 26-30

   4. Early Examples of Software in Mathematical Knowledge Management

      • Patrick Ion

      Pages 31-35

   5. Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs

      • Michael Kohlhase, Mihnea Iancu

      Pages 36-40

   6. Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

      • Alexander Maletzky, Bruno Buchberger

      Pages 41-48

   7. Theorema 2.0: A System for Mathematical Theory Exploration

      • Wolfgang Windsteiger

      Pages 49-52

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

5. Coding Theory

   1. Codes over a Non Chain Ring with Some Applications

      • Aysegul Bayram, Elif Segah Oztas, Irfan Siap

      Pages 106-110

   2. On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to \(\mathbb{Z}_{2^e}\)

      • Sunghyu Han

      Pages 111-114

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
• algorithm analysis and problem complexity

• 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

Policies and ethics