数学软件 - ICMS 2006 /会议录 Mathematical software - ICMS 2006

This book constitutes the refereed proceedings of the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain in September 2006.
The 45 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on new developments on computer algebra packages, interfacing computer algebra on mathematical visualization, software for algebraic geometry and related topics, number-theoretical software, methods in computational number theory, free software for computer algebra, software for optimization on geometric computation, methods and software for computing mathematical functions, access to mathematics on the Web, and general issues.

The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).

New Developments on Computer Algebra Packages (Andres Iglesias, Tetsuo Ida)
A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type
Efficient Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment
Development of a Maple Macro Package Suitable for Drawing Fine TFX-Pictures
Matlab-Based Problem-Solving Environment for Geometric Processing of Surfaces
A Mathematica Notebook for Computing the Homology of Iterated Products of Groups
Interfacing Computer Algebra and Mathematical Visualization (Konrad Polthier)
GCLC -- A Tool for Constructive Euclidean Geometry and More Than That
jReality, jtem, and Oorange A Way to Do Math with Computers
MuPAD's Graphics System
Software for Algebraic Geometry and Related Topics(Nobuki Takayama, Gert-Martin Greuel)
An Efficient Implementation for Computing Grobner Bases over Algebraic Number Fields
Tree Checking for Sparse Complexes
The SARAG Library: Some Algorithms in Real Algebraic Geometry
Algebraic Computation of Some Intersection D-Modules
PLURAL, a Non-commutative Extension of SINGULAR: Past, Present and Future
Number Theoretical Software (Ken Nakamula, Michael Pohst)
Development of NZMATH
KASH: Recent Developments
Methods in Computational Number Theory (David Sevilla, Jaime Gutierrez)
Making Change and Finding Repfigits: Balancing a Knapsack
Robust HGCD with No Backup Steps
Free Software for Computer Algebra(Joris Van Der Hoeven)
The Design of CoCoALib
Software for Optimization and Geometric Computation(Komei Fukuda,Michael Joswig)
Methods and Software for Computing Mathematical Functions(Amparo Gil,Javier Segura)
Access to Mathematics on the Web(Paul Libbrecht)
General Track
Links to Projects ICMS2006(Masayuki Noro,Nobuki Takayama)
Author Index