Mathematical Software – ICMS 2010

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Computational Discrete Geometry
3. Altmetric Badge
   Chapter 2 Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems
4. Altmetric Badge
   Chapter 3 Reliable and Efficient Geometric Computing
5. Altmetric Badge
   Chapter 4 The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB
6. Altmetric Badge
   Chapter 5 Sollya: An Environment for the Development of Numerical Codes
7. Altmetric Badge
   Chapter 6 Validated Special Functions Software
8. Altmetric Badge
   Chapter 7 The Dynamic Dictionary of Mathematical Functions (DDMF)
9. Altmetric Badge
   Chapter 8 Reliable Computing with GNU MPFR
10. Altmetric Badge
    Chapter 9 Simplicial Cohomology of Smooth Orbifolds in GAP
11. Altmetric Badge
    Chapter 10 Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases
12. Altmetric Badge
    Chapter 11 Constructive Membership Testing in Black-Box Classical Groups
13. Altmetric Badge
    Chapter 12 Towards High-Performance Computational Algebra with GAP
14. Altmetric Badge
    Chapter 13 An Improvement of a Function Computing Normalizers for Permutation Groups
15. Altmetric Badge
    Chapter 14 A GAP Package for Computation with Coherent Configurations
16. Altmetric Badge
    Chapter 15 CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond
17. Altmetric Badge
    Chapter 16 LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation
18. Altmetric Badge
    Chapter 17 FGb: A Library for Computing Gröbner Bases
19. Altmetric Badge
    Chapter 18 Fast Library for Number Theory: An Introduction
20. Altmetric Badge
    Chapter 19 Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic
21. Altmetric Badge
    Chapter 20 Exact Geometric and Algebraic Computations in CGAL
22. Altmetric Badge
    Chapter 21 On Solving Systems of Bivariate Polynomials
23. Altmetric Badge
    Chapter 22 Accurate and Reliable Computing in Floating-Point Arithmetic
24. Altmetric Badge
    Chapter 23 Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags
25. Altmetric Badge
    Chapter 24 The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
26. Altmetric Badge
    Chapter 25 Introducing HOL Zero
27. Altmetric Badge
    Chapter 26 Euler’s Polyhedron Formula in mizar
28. Altmetric Badge
    Chapter 27 Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?
29. Altmetric Badge
    Chapter 28 Linear Programs for the Kepler Conjecture
30. Altmetric Badge
    Chapter 29 A Formal Proof of Pick’s Theorem
31. Altmetric Badge
    Chapter 30 Evaluation of Automated Theorem Proving on the Mizar Mathematical Library
32. Altmetric Badge
    Chapter 31 On Local Deformations of Planar Quad-Meshes
33. Altmetric Badge
    Chapter 32 Construction of Harmonic Surfaces with Prescribed Geometry
34. Altmetric Badge
    Chapter 33 A Library of OpenGL-Based Mathematical Image Filters
35. Altmetric Badge
    Chapter 34 MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems
36. Altmetric Badge
    Chapter 35 TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory
37. Altmetric Badge
    Chapter 36 Introduction to Normaliz 2.5
38. Altmetric Badge
    Chapter 37 Computer Algebra Methods in Tropical Geometry
39. Altmetric Badge
    Chapter 38 A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic
40. Altmetric Badge
    Chapter 39 An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals
41. Altmetric Badge
    Chapter 40 New Algorithms for Computing Primary Decomposition of Polynomial Ideals
42. Altmetric Badge
    Chapter 41 An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra
43. Altmetric Badge
    Chapter 42 Operadic Gröbner Bases: An Implementation
44. Altmetric Badge
    Chapter 43 Magma - A Tool for Number Theory
45. Altmetric Badge
    Chapter 44 Enumerating Galois Representations in Sage
46. Altmetric Badge
    Chapter 45 NZMATH 1.0
47. Altmetric Badge
    Chapter 46 Removing Redundant Quadratic Constraints
48. Altmetric Badge
    Chapter 47 Traversing Symmetric Polyhedral Fans
49. Altmetric Badge
    Chapter 48 C++ Tools for Exploiting Polyhedral Symmetries
50. Altmetric Badge
    Chapter 49 isl: An Integer Set Library for the Polyhedral Model
51. Altmetric Badge
    Chapter 50 The Reformulation-Optimization Software Engine
52. Altmetric Badge
    Chapter 51 Generating Smooth Lattice Polytopes
53. Altmetric Badge
    Chapter 52 Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations
54. Altmetric Badge
    Chapter 53 Complex Inclusion Functions in the CoStLy C++ Class Library
55. Altmetric Badge
    Chapter 54 Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
56. Altmetric Badge
    Chapter 55 Efficient Evaluation of Large Polynomials
57. Altmetric Badge
    Chapter 56 Communicating Functional Expressions from Mathematica to C-XSC