↓ Skip to main content

Mathematical Software – ICMS 2014

Overview of attention for book
Cover of 'Mathematical Software – ICMS 2014'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Experimental Computation and Visual Theorems
  3. Altmetric Badge
    Chapter 2 Soft Math Math Soft
  4. Altmetric Badge
    Chapter 3 Flyspecking Flyspeck
  5. Altmetric Badge
    Chapter 4 Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions
  6. Altmetric Badge
    Chapter 5 Representing, Archiving, and Searching the Space of Mathematical Knowledge
  7. Altmetric Badge
    Chapter 6 Early Examples of Software in Mathematical Knowledge Management
  8. Altmetric Badge
    Chapter 7 Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs
  9. Altmetric Badge
    Chapter 8 Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema
  10. Altmetric Badge
    Chapter 9 Theorema 2.0: A System for Mathematical Theory Exploration
  11. Altmetric Badge
    Chapter 10 New Approaches in Black Box Group Theory
  12. Altmetric Badge
    Chapter 11 A GAP Package for Computing with Real Semisimple Lie Algebras
  13. Altmetric Badge
    Chapter 12 Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP
  14. Altmetric Badge
    Chapter 13 SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups
  15. Altmetric Badge
    Chapter 14 Approximating Generators for Integral Arithmetic Groups
  16. Altmetric Badge
    Chapter 15 Software for Groups: Theory and Practice
  17. Altmetric Badge
    Chapter 16 Computation of Genus 0 Belyi Functions
  18. Altmetric Badge
    Chapter 17 On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category
  19. Altmetric Badge
    Chapter 18 Codes over a Non Chain Ring with Some Applications
  20. Altmetric Badge
    Chapter 19 On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to $\mathbb{Z}_{2^e}$
  21. Altmetric Badge
    Chapter 20 Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32
  22. Altmetric Badge
    Chapter 21 Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes
  23. Altmetric Badge
    Chapter 22 Reversible Codes and Applications to DNA
  24. Altmetric Badge
    Chapter 23 javaPlex: A Research Software Package for Persistent (Co)Homology
  25. Altmetric Badge
    Chapter 24 PHAT – Persistent Homology Algorithms Toolbox
  26. Altmetric Badge
    Chapter 25 Computing Persistence Modules on Commutative Ladders of Finite Type
  27. Altmetric Badge
    Chapter 26 Heuristics for Sphere Recognition
  28. Altmetric Badge
    Chapter 27 CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms
  29. Altmetric Badge
    Chapter 28 The Gudhi Library: Simplicial Complexes and Persistent Homology
  30. Altmetric Badge
    Chapter 29 Bertini_real: Software for One- and Two-Dimensional Real Algebraic Sets
  31. Altmetric Badge
    Chapter 30 Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods
  32. Altmetric Badge
    Chapter 31 CGAL – Reliable Geometric Computing for Academia and Industry
  33. Altmetric Badge
    Chapter 32 Implementing the L  ∞  Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis
  34. Altmetric Badge
    Chapter 33 BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex
  35. Altmetric Badge
    Chapter 34 Integrating Circumradius and Area Formulae for Cyclic Pentagons
  36. Altmetric Badge
    Chapter 35 Computer Aided Geometry
  37. Altmetric Badge
    Chapter 36 The Sustainability of Digital Educational Resources
  38. Altmetric Badge
    Chapter 37 A Touch-Operation-Based Dynamic Geometry System: Design and Implementation
  39. Altmetric Badge
    Chapter 38 OpenGeo: An Open Geometric Knowledge Base
  40. Altmetric Badge
    Chapter 39 On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities
  41. Altmetric Badge
    Chapter 40 Robustly and Efficiently Computing Algebraic Curves and Surfaces
  42. Altmetric Badge
    Chapter 41 Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods
  43. Altmetric Badge
    Chapter 42 Isotopic ε -Approximation of Algebraic Curves
  44. Altmetric Badge
    Chapter 43 Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision
  45. Altmetric Badge
    Chapter 44 Real Quantifier Elimination in the RegularChains Library
  46. Altmetric Badge
    Chapter 45 Software for Quantifier Elimination in Propositional Logic
  47. Altmetric Badge
    Chapter 46 Quantifier Elimination for Linear Modular Constraints
  48. Altmetric Badge
    Chapter 47 Mathematical Software – ICMS 2014
  49. Altmetric Badge
    Chapter 48 Incremental QBF Solving by DepQBF
  50. Altmetric Badge
    Chapter 49 NLCertify : A Tool for Formal Nonlinear Optimization
  51. Altmetric Badge
    Chapter 50 Developing Linear Algebra Packages on Risa/Asir for Eigenproblems
  52. Altmetric Badge
    Chapter 51 Mathematical Software for Modified Bessel Functions
  53. Altmetric Badge
    Chapter 52 BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins
  54. Altmetric Badge
    Chapter 53 Computation of an Improved Lower Bound to Giuga’s Primality Conjecture
  55. Altmetric Badge
    Chapter 54 An Extension and Efficient Calculation of the Horner’s Rule for Matrices
  56. Altmetric Badge
    Chapter 55 What is new in CoCoA?
  57. Altmetric Badge
    Chapter 56 Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis
  58. Altmetric Badge
    Chapter 57 Groebner Basis in Geodesy and Geoinformatics
  59. Altmetric Badge
    Chapter 58 Groebner Bases in Theorema
  60. Altmetric Badge
    Chapter 59 Effective Computation of Radical of Ideals and Its Application to Invariant Theory
  61. Altmetric Badge
    Chapter 60 Generic and Parallel Groebner Bases in JAS
  62. Altmetric Badge
    Chapter 61 Application of Groebner Basis Methodology to Nonlinear Mechanics Problems
  63. Altmetric Badge
    Chapter 62 Software for Discussing Parametric Polynomial Systems: The Gröbner Cover
  64. Altmetric Badge
    Chapter 63 An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology
  65. Altmetric Badge
    Chapter 64 Verification of Gröbner Basis Candidates
  66. Altmetric Badge
    Chapter 65 Cylindrical Algebraic Decomposition in the RegularChains Library
  67. Altmetric Badge
    Chapter 66 Hierarchical Comprehensive Triangular Decomposition
  68. Altmetric Badge
    Chapter 67 A Package for Parametric Matrix Computations
  69. Altmetric Badge
    Chapter 68 Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
  70. Altmetric Badge
    Chapter 69 Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
  71. Altmetric Badge
    Chapter 70 An Improvement of Rosenfeld-Gröbner Algorithm
  72. Altmetric Badge
    Chapter 71 Doing Algebraic Geometry with the RegularChains Library
  73. Altmetric Badge
    Chapter 72 On Multivariate Birkhoff Rational Interpolation
  74. Altmetric Badge
    Chapter 73 Computing Moore-Penrose Inverses of Ore Polynomial Matrices
  75. Altmetric Badge
    Chapter 74 Software Using the Gröbner Cover for Geometrical Loci Computation and Classification
  76. Altmetric Badge
    Chapter 75 Using Maple ’s RegularChains Library to Automatically Classify Plane Geometric Loci
  77. Altmetric Badge
    Chapter 76 Solving Parametric Polynomial Systems by RealComprehensiveTriangularize
  78. Altmetric Badge
    Chapter 77 QE Software Based on Comprehensive Gröbner Systems
  79. Altmetric Badge
    Chapter 78 SyNRAC : A Toolbox for Solving Real Algebraic Constraints
  80. Altmetric Badge
    Chapter 79 An Algorithm for Computing Tjurina Stratifications of μ -Constant Deformations by Using Local Cohomology Classes with Parameters
  81. Altmetric Badge
    Chapter 80 An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra Systems
  82. Altmetric Badge
    Chapter 81 A Method to Determine if Two Parametric Polynomial Systems Are Equal
  83. Altmetric Badge
    Chapter 82 An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices
  84. Altmetric Badge
    Chapter 83 New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic
  85. Altmetric Badge
    Chapter 84 IFSGen4 : Interactive Graphical User Interface for Generation and Visualization of Iterated Function Systems in
  86. Altmetric Badge
    Chapter 85 GNU $_{\scriptsize{\rm MACS}}$ towards a Scientific Office Suite
  87. Altmetric Badge
    Chapter 86 Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques
  88. Altmetric Badge
    Chapter 87 On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education
  89. Altmetric Badge
    Chapter 88 Math Web Search Interfaces and the Generation Gap of Mathematicians
  90. Altmetric Badge
    Chapter 89 Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses
  91. Altmetric Badge
    Chapter 90 Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions
  92. Altmetric Badge
    Chapter 91 Creating Interactive Graphics for Mathematics Education Utilizing KETpic
  93. Altmetric Badge
    Chapter 92 A Tablet-Compatible Web-Interface for Mathematical Collaboration
  94. Altmetric Badge
    Chapter 93 Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method
  95. Altmetric Badge
    Chapter 94 Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models
  96. Altmetric Badge
    Chapter 95 A Touch-Based Mathematical Expression Editor
  97. Altmetric Badge
    Chapter 96 Establishment of KETpic Programming Styles for Drawing
  98. Altmetric Badge
    Chapter 97 Integration of libnormaliz in CoCoALib and CoCoA 5
  99. Altmetric Badge
    Chapter 98 Elements of Design for Containers and Solutions in the LinBox Library
  100. Altmetric Badge
    Chapter 99 Recent Developments in Normaliz
  101. Altmetric Badge
    Chapter 100 The Basic Polynomial Algebra Subprograms
  102. Altmetric Badge
    Chapter 101 Function Interval Arithmetic
  103. Altmetric Badge
    Chapter 102 Generating Optimized Sparse Matrix Vector Product over Finite Fields
  104. Altmetric Badge
    Chapter 103 swMATH – An Information Service for Mathematical Software
  105. Altmetric Badge
    Chapter 104 MathLibre: Modifiable Desktop Environment for Mathematics
  106. Altmetric Badge
    Chapter 105 Software Packages for Holonomic Gradient Method
  107. Altmetric Badge
    Chapter 106 Metalibm: A Mathematical Functions Code Generator
  108. Altmetric Badge
    Chapter 107 From Calculus to Algorithms without Errors
  109. Altmetric Badge
    Chapter 108 Dense Arithmetic over Finite Fields with the CUMODP Library
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog
patent
1 patent
facebook
1 Facebook page
wikipedia
5 Wikipedia pages

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
25 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Mathematical Software – ICMS 2014
Published by
Springer, Berlin, Heidelberg, January 2014
DOI 10.1007/978-3-662-44199-2
ISBNs
978-3-66-244198-5, 978-3-66-244199-2
Editors

Hoon Hong, Chee Yap

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 25 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Brazil 2 8%
South Africa 1 4%
United Kingdom 1 4%
Japan 1 4%
Philippines 1 4%
Unknown 19 76%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 7 28%
Student > Master 7 28%
Researcher 4 16%
Student > Bachelor 3 12%
Student > Doctoral Student 3 12%
Other 1 4%
Readers by discipline Count As %
Computer Science 9 36%
Mathematics 7 28%
Engineering 3 12%
Business, Management and Accounting 2 8%
Social Sciences 2 8%
Other 2 8%