This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006. We cordially invite you to visit the ICMS 2006 website http://www.icms2006.unican.es where you can find all relevant information about this interesting event. ICMS 2006 was the second edition of this congress, which follows up the successful ICMS 2002 held in Beijing, China. Since its inception, this congress has been a satellite event of the International Congress of Mathematicians - ICM, the world’s largest conference on mathematics, celebrated every four years since the edition of 1900 in Paris, where David Hilbert presented his 23 famous problems. For the first time, this 2006 edition of ICM is held in Spain (see: http://www.icm2006.org for details), and so is ICMS 2006. This congress was devoted to all aspects of mathematical software, whose appearance is — in our opinion — one of the most important events in mathematics. Mathematical software systems are used to construct examples, to prove theorems, and to find new mathematical phenomena. Conversely, mathematical research often motivates developments of new algorithms and new systems. Beyond mathematics, mathematical software systems are becoming indispensable tools in many branches of science and technology.
Author(s): Alfred G. Noël (auth.), Andrés Iglesias, Nobuki Takayama (eds.)
Series: Lecture Notes in Computer Science 4151 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 452
Tags: Numeric Computing; Discrete Mathematics in Computer Science; Symbolic and Algebraic Manipulation; Algorithm Analysis and Problem Complexity; Mathematical Software; Algorithms
Front Matter....Pages -
A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type....Pages 1-11
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment....Pages 12-23
Development of a Maple Macro Package Suitable for Drawing Fine ${\rm\kern-.15em T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}$ -Pictures....Pages 24-34
Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces....Pages 35-46
A Mathematica Notebook for Computing the Homology of Iterated Products of Groups....Pages 47-57
GCLC — A Tool for Constructive Euclidean Geometry and More Than That....Pages 58-73
jReality, jtem, and Oorange — A Way to Do Math with Computers....Pages 74-85
MuPAD’s Graphics System....Pages 86-98
An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields....Pages 99-109
Tree Checking for Sparse Complexes....Pages 110-121
The SARAG Library: Some Algorithms in Real Algebraic Geometry....Pages 122-131
Algebraic Computation of Some Intersection D-Modules....Pages 132-143
Plural , a Non–commutative Extension of Singular: Past, Present and Future....Pages 144-157
Development of NZMATH....Pages 158-169
KASH: Recent Developments....Pages 170-181
Making Change and Finding Repfigits: Balancing a Knapsack....Pages 182-193
Robust HGCD with No Backup Steps....Pages 194-204
The Design of CoCoALib....Pages 205-215
Generation of Oriented Matroids Using Satisfiability Solvers....Pages 216-218
Flexible Object Hierarchies in Polymake....Pages 219-221
A Presentation of the Gfan Software....Pages 222-224
Parallel Homotopy Algorithms to Solve Polynomial Systems....Pages 225-234
DEpthLAUNAY....Pages 235-244
iB4e : A Software Framework for Parametrizing Specialized LP Problems....Pages 245-247
Primal-Dual Enumeration for Multiparametric Linear Programming....Pages 248-259
A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs....Pages 260-262
Convergent SDP-Relaxations for Polynomial Optimization with Sparsity....Pages 263-272
Algorithm and Software for Integration over a Convex Polyhedron....Pages 273-283
A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions....Pages 284-295
Computation of the Real Zeros of the Kummer Function M ( a ; c ; x )....Pages 296-307
Towards Reliable Software for the Evaluation of a Class of Special Functions....Pages 308-319
Multimedia Prototype of a Bilingual Model Within Technology Based Learning Environment: An Implementation of a Mathematics Learning Framework....Pages 320-330
Methods to Access and Retrieve Mathematical Content in ActiveMath ....Pages 331-342
Logiweb – A System for Web Publication of Mathematics....Pages 343-353
Interfacing with the Numerical Homotopy Algorithms in PHCpack ....Pages 354-360
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami....Pages 361-372
A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation....Pages 373-384
KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents....Pages 385-390
Stability of Parametric Decomposition....Pages 391-402
On the GAP Package sgpviz ....Pages 403-406
Making Research on Symmetric Functions with MuPAD-Combinat....Pages 407-418
Calculating Cocyclic Hadamard Matrices in Mathematica : Exhaustive and Heuristic Searches....Pages 419-422
An Interactive User Interface for Division Algorithms and the Buchberger Algorithm....Pages 423-425
Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP....Pages 426-437
Links to Projects. Mathematical Software, icms2006—Developer’s Meeting....Pages 438-450
Back Matter....Pages -
