Mathematical Software -- ICMS 2014

Geometric Computing for Academia and Industry.- Implementing the L Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis.- BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex.- Integrating Circumradius and Area Formulae for Cyclic Pentagons.- Computer Aided Geometry.- The Sustainability of Digital Educational Resources.- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation.- OpenGeo: An Open Geometric Knowledge Base.- On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities.- Robustly and Efficiently Computing Algebraic Curves and Surfaces.- Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods.- Isotopic Approximation of Algebraic Curves.- Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision.- Real Quantifier Elimination in the RegularChains Library.- Software for Quantifier Elimination in Propositional Logic.- Quantifier Elimination for Linear Modular Constraints.- Skolemization Modulo Theories.- Incremental QBF Solving by DepQBF.- NLCertify: A Tool for Formal Nonlinear Optimization.- Developing Linear Algebra Packages on Risa/Asir for Eigenproblems.- Mathematical Software for Modified Bessel Functions.- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins.- Computation of an Improved Lower Bound to Giuga's Primality Conjecture.- An Extension and Efficient Calculation of the Horner's Rule for Matrices.- What Is New in CoCoA?.- Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis.- Groebner Basis in Geodesy and Geoinformatics.- Groebner Bases in Theorema.- Effective Computation of Radical of Ideals and Its Application to Invariant Theory.- Generic and Parallel Groebner Bases in JAS.- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems.- Software forDiscussing Parametric Polynomial Systems: The Gröbner Cover.- An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology.- Verification of Gröbner Basis Candidates.- Cylindrical Algebraic Decomposition in the RegularChains Library.- Hierarchical Comprehensive Triangular Decomposition.- A Package for Parametric Matrix Computations.- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting.- An Improvement of Rosenfeld-Gröbner Algorithm.- Doing Algebraic Geometry with the RegularChains Library.- On Multivariate Birkhoff Rational Interpolation.- Computing Moore-Penrose Inverses of Ore Polynomial Matrices.- Software Using the Gr¨obner Cover for Geometrical Loci Computation and Classification.- Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci.- Solving Parametric Polynomial Systems by RealComprehensiveTriangularize.- QE Software Based on Comprehensive Gröbner Systems.- SyNRAC: A Tolbox for Solving Real Algebraic Constraints.-An Algorithm for Computing Tjurina Stratifications of mi-Constant Deformations by Using Local Cohomology Classes with Parameters.- An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gr¨obner Bases on General Computer Algebra Systems.- A Method to Determine if Two Parametric Polynomial Systems Are Equal.- An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices.- New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic.- IFSGen4LATEX: Interactive Graphical User Interface For Generation and Visualization of Iterated Function Systems in LATEX.- GNU TEXMACS Towards a Scientific Office Suite.- Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspiredOptimization Techniques.- On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education.- Math Web Search Interfaces and the Generation Gap of Mathematicians.- Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses.- Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions.- Creating Interactive Graphics for Mathematics Education Utilizing KETpic.- A Tablet-Compatible Web-Interface for Mathematical Collaboration.- Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method.- Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models.- A Touch-Based Mathematical Expression Editor.- Establishment of KETpic Programming Styles for Drawing.- Integration of Libnormaliz in CoCoALib and CoCoA 5.- Elements of Design for Containers and Solutions in the LinBox Library.- Recent Developments in Normaliz.- The Basic Polynomial Algebra Subprograms.- Function Interval Arithmetic.- Generating Optimized Sparse Matrix Vector Product over Finite Fields.- swMATH - An Information Service for Mathematical Software.- MathLibre: Modifiable Desktop Environment for Mathematics.- Software Packages for Holonomic Gradient Method.- Metalibm: A Mathematical Functions Code Generator.- From Calculus to Algorithms without Errors.- Dense Arithmetic over Finite Fields with the CUMODP Library.