Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Front Matter....Pages -
Experimental Computation and Visual Theorems....Pages 1-8
Soft Math Math Soft....Pages 9-15
Flyspecking Flyspeck....Pages 16-20
Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions....Pages 21-25
Representing, Archiving, and Searching the Space of Mathematical Knowledge....Pages 26-30
Early Examples of Software in Mathematical Knowledge Management....Pages 31-35
Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs....Pages 36-40
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema ....Pages 41-48
Theorema 2.0: A System for Mathematical Theory Exploration....Pages 49-52
New Approaches in Black Box Group Theory....Pages 53-58
A GAP Package for Computing with Real Semisimple Lie Algebras....Pages 59-66
Bacterial Genomics and Computational Group Theory: The BioGAP  Package for GAP ....Pages 67-74
SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups....Pages 75-82
Approximating Generators for Integral Arithmetic Groups....Pages 83-86
Software for Groups: Theory and Practice....Pages 87-91
Computation of Genus 0 Belyi Functions....Pages 92-98
On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category....Pages 99-105
Codes over a Non Chain Ring with Some Applications....Pages 106-110
On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to $\mathbb{Z}_{2^e}$ ....Pages 111-114
Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32....Pages 115-118
Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes....Pages 119-123
Reversible Codes and Applications to DNA....Pages 124-128
javaPlex: A Research Software Package for Persistent (Co)Homology....Pages 129-136
PHAT – Persistent Homology Algorithms Toolbox....Pages 137-143
Computing Persistence Modules on Commutative Ladders of Finite Type....Pages 144-151
Heuristics for Sphere Recognition....Pages 152-159
CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms....Pages 160-166
The Gudhi Library: Simplicial Complexes and Persistent Homology....Pages 167-174
Bertini_real: Software for One- and Two-Dimensional Real Algebraic Sets....Pages 175-182
Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods....Pages 183-190
CGAL – Reliable Geometric Computing for Academia and Industry....Pages 191-197
Implementing the L  ∞  Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis....Pages 198-205
BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex....Pages 206-213
Integrating Circumradius and Area Formulae for Cyclic Pentagons....Pages 214-221
Computer Aided Geometry....Pages 222-229
The Sustainability of Digital Educational Resources....Pages 230-234
A Touch-Operation-Based Dynamic Geometry System: Design and Implementation....Pages 235-239
OpenGeo: An Open Geometric Knowledge Base....Pages 240-245
On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities....Pages 246-252
Robustly and Efficiently Computing Algebraic Curves and Surfaces....Pages 253-260
Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods....Pages 261-268
Isotopic ε -Approximation of Algebraic Curves....Pages 269-276
Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision....Pages 277-282
Real Quantifier Elimination in the RegularChains Library....Pages 283-290
Software for Quantifier Elimination in Propositional Logic....Pages 291-294
Quantifier Elimination for Linear Modular Constraints....Pages 295-302
Skolemization Modulo Theories....Pages 303-306
Incremental QBF Solving by DepQBF....Pages 307-314
 NLCertify : A Tool for Formal Nonlinear Optimization....Pages 315-320
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems....Pages 321-324
Mathematical Software for Modified Bessel Functions....Pages 325-332
BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins....Pages 333-340
Computation of an Improved Lower Bound to Giuga’s Primality Conjecture....Pages 341-345
An Extension and Efficient Calculation of the Horner’s Rule for Matrices....Pages 346-351
What Is New in CoCoA?....Pages 352-358
Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis....Pages 359-366
Groebner Basis in Geodesy and Geoinformatics....Pages 367-373
Groebner Bases in Theorema ....Pages 374-381
Effective Computation of Radical of Ideals and Its Application to Invariant Theory....Pages 382-389
Generic and Parallel Groebner Bases in JAS....Pages 390-397
Application of Groebner Basis Methodology to Nonlinear Mechanics Problems....Pages 398-405
Software for Discussing Parametric Polynomial Systems: The Gröbner Cover ....Pages 406-413
An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology....Pages 414-418
Verification of Gröbner Basis Candidates....Pages 419-424
Cylindrical Algebraic Decomposition in the RegularChains Library....Pages 425-433
Hierarchical Comprehensive Triangular Decomposition....Pages 434-441
A Package for Parametric Matrix Computations....Pages 442-449
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition....Pages 450-457
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting....Pages 458-465
An Improvement of Rosenfeld-Gröbner Algorithm....Pages 466-471
Doing Algebraic Geometry with the RegularChains Library....Pages 472-479
On Multivariate Birkhoff Rational Interpolation....Pages 480-483
Computing Moore-Penrose Inverses of Ore Polynomial Matrices....Pages 484-491
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification....Pages 492-499
Using Maple ’s RegularChains Library to Automatically Classify Plane Geometric Loci....Pages 500-503
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize ....Pages 504-511
QE Software Based on Comprehensive Gröbner Systems....Pages 512-517
 SyNRAC : A Toolbox for Solving Real Algebraic Constraints....Pages 518-522
An Algorithm for Computing Tjurina Stratifications of μ -Constant Deformations by Using Local Cohomology Classes with Parameters....Pages 523-530
An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems....Pages 531-536
A Method to Determine if Two Parametric Polynomial Systems Are Equal....Pages 537-544
An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices....Pages 545-548
New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic....Pages 549-553
 IFSGen4  : Interactive Graphical User Interface for Generation and Visualization of Iterated Function Systems in ....Pages 554-561
GNU  $_{\scriptsize{\rm MACS}}$ towards a Scientific Office Suite....Pages 562-569
Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques....Pages 570-577
On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education....Pages 578-585
Math Web Search Interfaces and the Generation Gap of Mathematicians....Pages 586-593
Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses....Pages 594-600
Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions....Pages 601-606
Creating Interactive Graphics for Mathematics Education Utilizing KETpic....Pages 607-613
A Tablet-Compatible Web-Interface for Mathematical Collaboration....Pages 614-620
Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method....Pages 621-628
Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models....Pages 629-634
A Touch-Based Mathematical Expression Editor....Pages 635-640
Establishment of KETpic Programming Styles for Drawing....Pages 641-646
Integration of Libnormaliz in CoCoALib and CoCoA 5....Pages 647-653
Elements of Design for Containers and Solutions in the LinBox Library....Pages 654-662
Recent Developments in Normaliz....Pages 663-668
The Basic Polynomial Algebra Subprograms....Pages 669-676
Function Interval Arithmetic....Pages 677-684
Generating Optimized Sparse Matrix Vector Product over Finite Fields....Pages 685-690
swMATH – An Information Service for Mathematical Software....Pages 691-701
MathLibre: Modifiable Desktop Environment for Mathematics....Pages 702-705
Software Packages for Holonomic Gradient Method....Pages 706-712
Metalibm: A Mathematical Functions Code Generator....Pages 713-717
From Calculus to Algorithms without Errors....Pages 718-724
Dense Arithmetic over Finite Fields with the CUMODP Library....Pages 725-732
Back Matter....Pages -