↓ Skip to main content

Mathematical Software – ICMS 2010

Overview of attention for book
Cover of '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
Attention for Chapter 49: isl: An Integer Set Library for the Polyhedral Model
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
47 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.
Chapter title
isl: An Integer Set Library for the Polyhedral Model
Chapter number 49
Book title
Mathematical Software – ICMS 2010
Published by
Springer Berlin Heidelberg, September 2015
DOI 10.1007/978-3-642-15582-6_49
Book ISBNs
978-3-64-215581-9, 978-3-64-215582-6
Authors

Sven Verdoolaege

Editors

Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama

Mendeley readers

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

Geographical breakdown

Country Count As %
France 2 4%
Brazil 1 2%
Unknown 44 94%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 22 47%
Student > Master 7 15%
Student > Bachelor 6 13%
Researcher 2 4%
Student > Doctoral Student 2 4%
Other 5 11%
Unknown 3 6%
Readers by discipline Count As %
Computer Science 33 70%
Engineering 4 9%
Mathematics 2 4%
Immunology and Microbiology 1 2%
Physics and Astronomy 1 2%
Other 2 4%
Unknown 4 9%