Mathematical Software – ICMS 2010: Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Front Matter....Pages -
Computational Discrete Geometry....Pages 1-3
Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems....Pages 4-9
Reliable and Efficient Geometric Computing....Pages 10-11
The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB....Pages 12-27
Sollya: An Environment for the Development of Numerical Codes....Pages 28-31
Validated Special Functions Software....Pages 32-34
The Dynamic Dictionary of Mathematical Functions (DDMF)....Pages 35-41
Reliable Computing with GNU MPFR....Pages 42-45
Simplicial Cohomology of Smooth Orbifolds in GAP ....Pages 46-49
Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases....Pages 50-53
Constructive Membership Testing in Black-Box Classical Groups....Pages 54-57
Towards High-Performance Computational Algebra with GAP....Pages 58-61
An Improvement of a Function Computing Normalizers for Permutation Groups....Pages 62-68
A GAP Package for Computation with Coherent Configurations....Pages 69-72
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond....Pages 73-76
 LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation....Pages 77-83
FGb: A Library for Computing Gröbner Bases....Pages 84-87
Fast Library for Number Theory: An Introduction....Pages 88-91
Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic....Pages 92-95
Exact Geometric and Algebraic Computations in CGAL....Pages 96-99
On Solving Systems of Bivariate Polynomials....Pages 100-104
Accurate and Reliable Computing in Floating-Point Arithmetic....Pages 105-108
Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags....Pages 109-120
The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra....Pages 121-141
Introducing HOL Zero....Pages 142-143
Euler’s Polyhedron Formula in mizar ....Pages 144-147
Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do?....Pages 148-148
Linear Programs for the Kepler Conjecture....Pages 149-151
A Formal Proof of Pick’s Theorem....Pages 152-154
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library....Pages 155-166
On Local Deformations of Planar Quad-Meshes....Pages 167-169
Construction of Harmonic Surfaces with Prescribed Geometry....Pages 170-173
A Library of OpenGL-Based Mathematical Image Filters....Pages 174-185
 MD-jeep : An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems....Pages 186-197
TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory....Pages 198-208
Introduction to Normaliz 2.5....Pages 209-212
Computer Algebra Methods in Tropical Geometry....Pages 213-216
A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic....Pages 217-220
An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals....Pages 221-232
New Algorithms for Computing Primary Decomposition of Polynomial Ideals....Pages 233-244
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra....Pages 245-248
Operadic Gröbner Bases: An Implementation....Pages 249-252
Magma - A Tool for Number Theory....Pages 253-255
Enumerating Galois Representations in Sage....Pages 256-259
NZMATH 1.0....Pages 260-269
Removing Redundant Quadratic Constraints....Pages 270-281
Traversing Symmetric Polyhedral Fans....Pages 282-294
C++ Tools for Exploiting Polyhedral Symmetries....Pages 295-298
 isl : An Integer Set Library for the Polyhedral Model....Pages 299-302
The Reformulation-Optimization Software Engine....Pages 303-314
Generating Smooth Lattice Polytopes....Pages 315-328
 Mathemagix : Towards Large Scale Programming for Symbolic and Certified Numeric Computations....Pages 329-332
Complex Inclusion Functions in the CoStLy C++ Class Library....Pages 333-336
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries....Pages 337-341
Efficient Evaluation of Large Polynomials....Pages 342-353
Communicating Functional Expressions from Mathematica to C-XSC....Pages 354-365
Back Matter....Pages -