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

书籍目录

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 GroupsInterfacing 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 SystemSoftware 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 FutureNumber Theoretical Software (Ken Nakamula, Michael Pohst)  Development of NZMATH  KASH: Recent DevelopmentsMethods in Computational Number Theory (David Sevilla, Jaime Gutierrez)  Making Change and Finding Repfigits: Balancing a Knapsack  Robust HGCD with No Backup StepsFree Software for Computer Algebra(Joris Van Der Hoeven)  The Design of CoCoALibSoftware 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 TrackLinks to Projects ICMS2006(Masayuki Noro,Nobuki Takayama)Author Index

作者简介

This book constitutes the refereed proceedings of the Second International Congress on Mathematical Software, ICMS 2006. The book presents 45 revised full papers, carefully reviewed and selected for presentation. The papers are organized in topical sections on new developments in computer algebra packages, interfacing computer algebra in mathematical visualization, software for algebraic geometry and related topics, number-theoretical software, methods in computational number theory, free software for computer algebra, and general issues.

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