Mathematical Software -- ICMS 2014

Early Examples of Software in Mathematical Knowledge Management

Pages 31-35

Ion, Patrick

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

Pages 36-40

Kohlhase, Michael (et al.)

Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

Pages 41-48

Maletzky, Alexander (et al.)

Theorema 2.0: A System for Mathematical Theory Exploration

Pages 49-52

Windsteiger, Wolfgang

New Approaches in Black Box Group Theory

Pages 53-58

Borovik, Alexandre (et al.)

A GAP Package for Computing with Real Semisimple Lie Algebras

Pages 59-66

Dietrich, Heiko (et al.)

Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP

Pages 67-74

Egri-Nagy, Attila (et al.)

SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups

Pages 75-82

Egri-Nagy, Attila (et al.)

Approximating Generators for Integral Arithmetic Groups

Pages 83-86

Eick, Bettina

Software for Groups: Theory and Practice

Pages 87-91

Hulpke, Alexander

Computation of Genus 0 Belyi Functions

Pages 92-98

Hoeij, Mark (et al.)

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

Pages 99-105

Momose, Yasuhiro (et al.)

Codes over a Non Chain Ring with Some Applications

Pages 106-110

Bayram, Aysegul (et al.)

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

Pages 111-114

Han, Sunghyu

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

Pages 115-118

Kim, Jon-Lark

Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes

Pages 119-123

Lee, Kwankyu

Reversible Codes and Applications to DNA

Pages 124-128

Oztas, Elif Segah (et al.)

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

Pages 129-136

Adams, Henry (et al.)

PHAT – Persistent Homology Algorithms Toolbox

Pages 137-143

Bauer, Ulrich (et al.)

Computing Persistence Modules on Commutative Ladders of Finite Type

Pages 144-151

Escolar, Emerson G. (et al.)

Heuristics for Sphere Recognition

Pages 152-159

Joswig, Michael (et al.)

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

Pages 160-166

Juda, Mateusz (et al.)

The Gudhi Library: Simplicial Complexes and Persistent Homology

Pages 167-174

Maria, Clément (et al.)

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

Pages 175-182

Brake, Daniel A. (et al.)

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

Pages 183-190

Chen, Tianran (et al.)

CGAL – Reliable Geometric Computing for Academia and Industry

Pages 191-197

Berberich, Eric

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

Pages 198-205

Cheilaris, Panagiotis (et al.)

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

Pages 206-213

Kim, Deok-Soo (et al.)

Integrating Circumradius and Area Formulae for Cyclic Pentagons

Pages 214-221

Moritsugu, Shuichi

Computer Aided Geometry

Pages 222-229

Guevara, Douglas Navarro (et al.)

The Sustainability of Digital Educational Resources

Pages 230-234

Rao, Yongsheng (et al.)

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

Pages 235-239

Su, Wei (et al.)

OpenGeo: An Open Geometric Knowledge Base

Pages 240-245

Wang, Dongming (et al.)

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

Pages 246-252

Bates, Daniel J. (et al.)

Robustly and Efficiently Computing Algebraic Curves and Surfaces

Pages 253-260

Berberich, Eric

Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods

Pages 261-268

Gan, Zhiwang (et al.)

Isotopic ε-Approximation of Algebraic Curves

Pages 269-276

Jin, Kai

Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision

Pages 277-282

Lien, Jyh-Ming (et al.)

Real Quantifier Elimination in the RegularChains Library

Pages 283-290

Chen, Changbo (et al.)

Software for Quantifier Elimination in Propositional Logic

Pages 291-294

Goldberg, Eugene (et al.)

Quantifier Elimination for Linear Modular Constraints

Pages 295-302

John, Ajith K. (et al.)

Skolemization Modulo Theories

Pages 303-306

Korovin, Konstantin (et al.)

Incremental QBF Solving by DepQBF

Pages 307-314

Lonsing, Florian (et al.)

NLCertify: A Tool for Formal Nonlinear Optimization

Pages 315-320

Magron, Victor

Developing Linear Algebra Packages on Risa/Asir for Eigenproblems

Pages 321-324

Ohara, Katsuyoshi (et al.)

Mathematical Software for Modified Bessel Functions

Pages 325-332

Rappoport, Juri

BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins

Pages 333-340

Ryu, Joonghyun (et al.)

Computation of an Improved Lower Bound to Giuga’s Primality Conjecture

Pages 341-345

Skerritt, Matthew

An Extension and Efficient Calculation of the Horner’s Rule for Matrices

Pages 346-351

Tajima, Shinichi (et al.)

What Is New in CoCoA?

Pages 352-358

Abbott, John (et al.)

Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis

Pages 359-366

Awange, Joseph (et al.)

Groebner Basis in Geodesy and Geoinformatics

Pages 367-373

Awange, Joseph (et al.)

Groebner Bases in Theorema

Pages 374-381

Buchberger, Bruno (et al.)

Effective Computation of Radical of Ideals and Its Application to Invariant Theory

Pages 382-389

Hashemi, Amir

Generic and Parallel Groebner Bases in JAS

Pages 390-397

Kredel, Heinz

Application of Groebner Basis Methodology to Nonlinear Mechanics Problems

Pages 398-405

Liu, Y. Jane (et al.)

Software for Discussing Parametric Polynomial Systems: The Gröbner Cover

Pages 406-413

Montes, Antonio (et al.)

An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology

Pages 414-418

Nabeshima, Katsusuke (et al.)

Verification of Gröbner Basis Candidates

Pages 419-424

Noro, Masayuki (et al.)

Cylindrical Algebraic Decomposition in the RegularChains Library

Pages 425-433

Chen, Changbo (et al.)

Hierarchical Comprehensive Triangular Decomposition

Pages 434-441

Chen, Zhenghong (et al.)

A Package for Parametric Matrix Computations

Pages 442-449

Corless, Robert M. (et al.)

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition

Pages 450-457

England, Matthew (et al.)

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting

Pages 458-465

England, Matthew (et al.)

An Improvement of Rosenfeld-Gröbner Algorithm

Pages 466-471

Hashemi, Amir (et al.)

Doing Algebraic Geometry with the RegularChains Library

Pages 472-479

Alvandi, Parisa (et al.)

On Multivariate Birkhoff Rational Interpolation

Pages 480-483

Xia, Peng (et al.)

Computing Moore-Penrose Inverses of Ore Polynomial Matrices

Pages 484-491

Zhang, Yang

Software Using the Gröbner Cover for Geometrical Loci Computation and Classification

Pages 492-499

Abánades, Miguel A. (et al.)

Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci

Pages 500-503

Botana, Francisco (et al.)

Solving Parametric Polynomial Systems by RealComprehensiveTriangularize

Pages 504-511

Chen, Changbo (et al.)

QE Software Based on Comprehensive Gröbner Systems

Pages 512-517

Fukasaku, Ryoya

SyNRAC: A Toolbox for Solving Real Algebraic Constraints

Pages 518-522

Iwane, Hidenao (et al.)

An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters

Pages 523-530

Nabeshima, Katsusuke (et al.)

An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems

Pages 531-536

Nagai, Akira (et al.)

A Method to Determine if Two Parametric Polynomial Systems Are Equal

Pages 537-544

Zhou, Jie (et al.)

An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices

Pages 545-548

Fujimoto, Mitsushi

New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic

Pages 549-553

Fukazawa, Kenji

IFSGen4 : Interactive Graphical User Interface for Generation and Visualization of Iterated Function Systems in

Pages 554-561

Gálvez, Akemi (et al.)

GNU $_{\scriptsize{\rm MACS}}$ towards a Scientific Office Suite

Pages 562-569

Gubinelli, Massimiliano (et al.)

Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques

Pages 570-577

Iglesias, Andrés (et al.)

On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education

Pages 578-585

Kitahara, Kiyoshi (et al.)

Math Web Search Interfaces and the Generation Gap of Mathematicians

Pages 586-593

Kohlhase, Andrea

Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses

Pages 594-600

Makishita, Hideyo

Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions

Pages 601-606

Nomachi, Toshifumi (et al.)

Creating Interactive Graphics for Mathematics Education Utilizing KETpic

Pages 607-613

Ouchi, Shunji (et al.)

A Tablet-Compatible Web-Interface for Mathematical Collaboration

Pages 614-620

Pollanen, Marco (et al.)

Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method

Pages 621-628

Shirai, Shizuka (et al.)

Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models

Pages 629-634

Takato, Setsuo (et al.)

A Touch-Based Mathematical Expression Editor

Pages 635-640

Su, Wei (et al.)

Establishment of KETpic Programming Styles for Drawing

Pages 641-646

Yamashita, Satoshi (et al.)

Integration of Libnormaliz in CoCoALib and CoCoA 5

Pages 647-653

Abbott, John (et al.)

Elements of Design for Containers and Solutions in the LinBox Library

Pages 654-662

Boyer, Brice (et al.)

Recent Developments in Normaliz

Pages 663-668

Bruns, Winfried (et al.)

The Basic Polynomial Algebra Subprograms

Pages 669-676

Chen, Changbo (et al.)

Function Interval Arithmetic

Pages 677-684

Duracz, Jan (et al.)

Generating Optimized Sparse Matrix Vector Product over Finite Fields

Pages 685-690

Giorgi, Pascal (et al.)

swMATH – An Information Service for Mathematical Software

Pages 691-701

Greuel, Gert-Martin (et al.)

MathLibre: Modifiable Desktop Environment for Mathematics

Pages 702-705

Hamada, Tatsuyoshi

Software Packages for Holonomic Gradient Method

Pages 706-712

Koyama, Tamio (et al.)

Metalibm: A Mathematical Functions Code Generator

Pages 713-717

Kupriianova, Olga (et al.)

From Calculus to Algorithms without Errors

Pages 718-724

Müller, Norbert (et al.)

Dense Arithmetic over Finite Fields with the CUMODP Library

Pages 725-732

Haque, Sardar Anisul (et al.)