ICMS 2006: Castro Urdiales, Spain

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
  
• Xin Li, Marc Moreno Maza:
  Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment. 12-23
  
• Masayoshi Sekiguchi, Satoshi Yamashita, Setsuo Takato:
  Development of a Maple Macro Package Suitable for Drawing Fine TEX-Pictures. 24-34
  
• Akemi Gálvez, Andrés Iglesias:
  Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces. 35-46
  
• V. Álvarez, J. A. Armario, M. D. Frau, P. Real:
  A Mathematica Notebook for Computing the Homology of Iterated Products of Groups. 47-57
  

Interfacing Computer Algebra and Mathematical Visualization

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

Software for Algebraic Geometry and Related Topics

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

Number Theoretical Software

• Matsui Tetsushi:
  Development of NZMATH. 158-169
  
• Sebastian Freundt, Aneesh Karve, Anita Krahmann, Sebastian Pauli:
  KASH: Recent Developments. 170-181
  

Methods in Computational Number Theory

• Daniel Lichtblau:
  Making Change and Finding Repfigits: Balancing a Knapsack. 182-193
  
• Niels Möller:
  Robust HGCD with No Backup Steps. 194-204
  

Free Software for Computer Algebra

• John Abbott:
  The Design of CoCoALib. 205-215
  

Software for Optimization and Geometric Computation

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

Methods and Software for Computing Mathematical Functions

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

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
  
• Paul Libbrecht, Erica Melis:
  Methods to Access and Retrieve Mathematical Content in ActiveMath. 331-342
  
• Klaus Grue:
  Logiweb - A System for Web Publication of Mathematics. 343-353
  

General Track

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

Links to Projects

• Masayuki Noro, Nobuki Takayama:
  Links to Projects. Mathematical Software, icms2006 - Developer's Meeting. 438-450