Mathematical Software -- ICMS 2014

1. Coding Theory

   1. Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32

      • Jon-Lark Kim

      Pages 115-118

   2. Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes

      • Kwankyu Lee

      Pages 119-123

   3. Reversible Codes and Applications to DNA

      • Elif Segah Oztas, Irfan Siap, Bahattin Yildiz

      Pages 124-128

2. Computational Topology

   1. javaPlex: A Research Software Package for Persistent (Co)Homology

      • Henry Adams, Andrew Tausz, Mikael Vejdemo-Johansson

      Pages 129-136

   2. PHAT – Persistent Homology Algorithms Toolbox

      • Ulrich Bauer, Michael Kerber, Jan Reininghaus, Hubert Wagner

      Pages 137-143

   3. Computing Persistence Modules on Commutative Ladders of Finite Type

      • Emerson G. Escolar, Yasuaki Hiraoka

      Pages 144-151

   4. Heuristics for Sphere Recognition

      • Michael Joswig, Frank H. Lutz, Mimi Tsuruga

      Pages 152-159

   5. CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms

      • Mateusz Juda, Marian Mrozek

      Pages 160-166

   6. The Gudhi Library: Simplicial Complexes and Persistent Homology

      • Clément Maria, Jean-Daniel Boissonnat, Marc Glisse, Mariette Yvinec

      Pages 167-174

3. Numerical Algebraic Geometry

   1. Bertini_real: Software for One- and Two-Dimensional Real Algebraic Sets

      • Daniel A. Brake, Daniel J. Bates, Wenrui Hao, Jonathan D. Hauenstein, Andrew J. Sommese, CharlesW. Wampler

      Pages 175-182

   2. Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods

      • Tianran Chen, Tsung-Lin Lee, Tien-Yien Li

      Pages 183-190

4. Geometry

   1. CGAL – Reliable Geometric Computing for Academia and Industry

      • Eric Berberich

      Pages 191-197

   2. Implementing the L _∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis

      • Panagiotis Cheilaris, Sandeep Kumar Dey, Maria Gabrani, Evanthia Papadopoulou

      Pages 198-205

   3. BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex

      • Deok-Soo Kim, Youngsong Cho, Jae-Kwan Kim, Joonghyun Ryu, Mokwon Lee, Jehyun Cha et al.

      Pages 206-213

   4. Integrating Circumradius and Area Formulae for Cyclic Pentagons

      • Shuichi Moritsugu

      Pages 214-221

   5. Computer Aided Geometry

      • Douglas Navarro Guevara, Adrian Navarro Alvarez

      Pages 222-229

   6. The Sustainability of Digital Educational Resources

      • Yongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang

      Pages 230-234

   7. A Touch-Operation-Based Dynamic Geometry System: Design and Implementation

      • Wei Su, Paul S. Wang, Chuan Cai, Lian Li

      Pages 235-239

   8. OpenGeo: An Open Geometric Knowledge Base

      • Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song

      Pages 240-245

5. Curves and Surfaces

   1. On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities

      • Daniel J. Bates, Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler

      Pages 246-252

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