ICMS 2006: Castro Urdiales, Spain

Andrés Iglesias, Nobuki Takayama (Eds.): Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4151 Springer 2006, ISBN 3-540-38084-1 BibTeX

New Developments on Computer Algebra Packages

Alfred G. Noël:
A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type. 1-11
Electronic Edition (link) BibTeX
Xin Li, Marc Moreno Maza:
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment. 12-23
Electronic Edition (link) BibTeX
Masayoshi Sekiguchi, Satoshi Yamashita, Setsuo Takato:
Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures. 24-34
Electronic Edition (link) BibTeX
Akemi Gálvez, Andrés Iglesias:
Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces. 35-46
Electronic Edition (link) BibTeX
V. Álvarez, J. A. Armario, M. D. Frau, P. Real:
A Mathematica Notebook for Computing the Homology of Iterated Products of Groups. 47-57
Electronic Edition (link) BibTeX

Interfacing Computer Algebra and Mathematical Visualization

Predrag Janicic:
GCLC - A Tool for Constructive Euclidean Geometry and More Than That. 58-73
Electronic Edition (link) BibTeX
Tim Hoffmann, Markus Schmies:
jReality, jtem, and Oorange - A Way to Do Math with Computers. 74-85
Electronic Edition (link) BibTeX
Christopher Creutzig:
MuPAD's Graphics System. 86-98
Electronic Edition (link) BibTeX

Software for Algebraic Geometry and Related Topics

Masayuki Noro:
An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields. 99-109
Electronic Edition (link) BibTeX
Massimo Caboara, Sara Faridi, Peter Selinger:
Tree Checking for Sparse Complexes. 110-121
Electronic Edition (link) BibTeX
Fabrizio Caruso:
The SARAG Library: Some Algorithms in Real Algebraic Geometry. 122-131
Electronic Edition (link) BibTeX
F. J. Calderón Moreno, L. Narváez Macarro:
Algebraic Computation of Some Intersection D-Modules. 132-143
Electronic Edition (link) BibTeX
Viktor Levandovskyy:
Plural, a Non-commutative Extension of Singular: Past, Present and Future. 144-157
Electronic Edition (link) BibTeX

Number Theoretical Software

Matsui Tetsushi:
Development of NZMATH. 158-169
Electronic Edition (link) BibTeX
Sebastian Freundt, Aneesh Karve, Anita Krahmann, Sebastian Pauli:
KASH: Recent Developments. 170-181
Electronic Edition (link) BibTeX

Methods in Computational Number Theory

Daniel Lichtblau:
Making Change and Finding Repfigits: Balancing a Knapsack. 182-193
Electronic Edition (link) BibTeX
Niels Möller:
Robust HGCD with No Backup Steps. 194-204
Electronic Edition (link) BibTeX

Free Software for Computer Algebra

John Abbott:
The Design of CoCoALib. 205-215
Electronic Edition (link) BibTeX

Software for Optimization and Geometric Computation

Lars Schewe:
Generation of Oriented Matroids Using Satisfiability Solvers. 216-218
Electronic Edition (link) BibTeX
Ewgenij Gawrilow, Michael Joswig:
Flexible Object Hierarchies in Polymake. 219-221
Electronic Edition (link) BibTeX
Anders N. Jensen:
A Presentation of the Gfan Software. 222-224
Electronic Edition (link) BibTeX
Anton Leykin, Jan Verschelde, Yan Zhuang:
Parallel Homotopy Algorithms to Solve Polynomial Systems. 225-234
Electronic Edition (link) BibTeX
Manuel Abellanas, Alfredo de las Vegas:
DEpthLAUNAY. 235-244
Electronic Edition (link) BibTeX
Peter Huggins:
iB4e: A Software Framework for Parametrizing Specialized LP Problems. 245-247
Electronic Edition (link) BibTeX
Colin N. Jones, Jan M. Maciejowski:
Primal-Dual Enumeration for Multiparametric Linear Programming. 248-259
Electronic Edition (link) BibTeX
Joshua D. Griffin, Tamara G. Kolda:
A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs. 260-262
Electronic Edition (link) BibTeX
Jean B. Lasserre:
Convergent SDP-Relaxations for Polynomial Optimization with Sparsity. 263-272
Electronic Edition (link) BibTeX

Methods and Software for Computing Mathematical Functions

Mark Korenblit, Efraim Shmerling:
Algorithm and Software for Integration over a Convex Polyhedron. 273-283
Electronic Edition (link) BibTeX
Joris Van Deun, Ronald Cools:
A Matlab Implementation of an Algorithm for Computing Integrals of Products of Bessel Functions. 284-295
Electronic Edition (link) BibTeX
Alfredo Deaño, Amparo Gil, Javier Segura:
Computation of the Real Zeros of the Kummer Function M(a;c;x). 296-307
Electronic Edition (link) BibTeX
Annie A. M. Cuyt, Stefan Becuwe:
Towards Reliable Software for the Evaluation of a Class of Special Functions. 308-319
Electronic Edition (link) BibTeX

Access to Mathematics on the Web

Zur'aini Dahlan, Noraimi Shafie, Rozeha A. Rashid:
Multimedia Prototype of a Bilingual Model Within Technology Based Learning Environment: An Implementation of a Mathematics Learning Framework. 320-330
Electronic Edition (link) BibTeX
Paul Libbrecht, Erica Melis:
Methods to Access and Retrieve Mathematical Content in ActiveMath. 331-342
Electronic Edition (link) BibTeX
Klaus Grue:
Logiweb - A System for Web Publication of Mathematics. 343-353
Electronic Edition (link) BibTeX

General Track

Anton Leykin, Jan Verschelde:
Interfacing with the Numerical Homotopy Algorithms in PHCpack. 354-360
Electronic Edition (link) BibTeX
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fadoua Ghourabi, Asem Kasem:
Computational Construction of a Maximum Equilateral Triangle Inscribed in an Origami. 361-372
Electronic Edition (link) BibTeX
H. Martin Bücker, Atya Elsheikh, Andre Vehreschild:
A System for Interfacing MATLAB with External Software Geared Toward Automatic Differentiation. 373-384
Electronic Edition (link) BibTeX
Tatsuyoshi Hamada, Kuniyasu Suzaki, Kengo Iijima, Arimitsu Shikoda:
KNOPPIX/Math: Portable and Distributable Collection of Mathematical Software and Free Documents. 385-390
Electronic Edition (link) BibTeX
Kazuhiro Yokoyama:
Stability of Parametric Decomposition. 391-402
Electronic Edition (link) BibTeX
Manuel Delgado, José Morais:
On the. 403-406
Electronic Edition (link) BibTeX
François Descouens:
Making Research on Symmetric Functions with MuPAD-Combinat. 407-418
Electronic Edition (link) BibTeX
V. Álvarez, J. A. Armario, M. D. Frau, P. Real:
Calculating Cocyclic Hadamard Matrices in Mathematica: Exhaustive and Heuristic Searches. 419-422
Electronic Edition (link) BibTeX
Hiromasa Nakayama:
An Interactive User Interface for Division Algorithms and the Buchberger Algorithm. 423-425
Electronic Edition (link) BibTeX
Hirokazu Murao:
Experiment of Multithreading Symbolic and Algebraic Computations with OpenMP. 426-437
Electronic Edition (link) BibTeX

Links to Projects

Masayuki Noro, Nobuki Takayama:
Links to Projects. Mathematical Software, icms2006 - Developer's Meeting. 438-450
Electronic Edition (link) BibTeX