Mathematical Software: Proceedings of the First International Congress of Mathematical Software Beijing, China 17-19 August 2002

by Cohen, Arjeh M.; Gao, Xiaoshan; Takayama, Nobuki; International Congress of Mathematical S; Gao, Xiao-Shan

• ISBN13: 9789812380487
• ISBN10: 9812380485
• Format: Hardcover
• Copyright: 2002-09-01
• Publisher: WORLD SCIENTIFIC PUB CO INC

Summary

The advent of mathematical software has been 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. On the other hand, mathematical research often motivates developments of new algorithms and new systems.

Mathematical software systems rely on the cooperation of mathematicians, designers of algorithms, and mathematical programmers. This book is aimed at software developers in mathematics and programming mathematicians, but it also provides opportunities to discuss the topics with mathematicians.

Table of Contents

Preface
Invited Speakers
Organization
The Experimental Mathematician: A Computational Guide to the Mathematical Unknown	p. 1
Computer Algebra and Finite Groups	p. 4
Software Integration and Computer Proofs	p. 15
Software Carry-Save for Fast Multiple-Precision Algorithms	p. 29
LinBox: A Generic Library for Exact Linear Algebra	p. 40
Block-Iterative Algorithms for Image Reconstruction	p. 51
The Snap Package for Arithmetic with Numeric Polynomials	p. 61
Algorithms of Composite Rational Interpolation Based on Continued Fractions	p. 72
Fast and Space-Efficient Algorithms for Deciding Shellability of Simplicial Complexes of Large Size Using h-Assignments	p. 82
Computing GCLF Using Syzygy Algorithm	p. 93
Efficient Cooperative Solvers for Nonlinear Continuous Constraint Problems	p. 104
Pseudo-Divison Machine (I): A Model of Symbolic Computation	p. 115
XSSR: An Experimental System for String Rewriting - Decision Problems, Algorithms, and Implementation	p. 126
The Differential Structure of the Brieskorn Lattice	p. 136
An Efficient Modular Algorithm for Computing the Global b-Function	p. 147
A Method for Constructing Holonomic Systems for Algebraic Local Cohomology Classes with Support on a Zero Dimensional Variety	p. 158
D-Modules for Macaulay 2	p. 169
Computer Graphics in Mathematical Research; From Helsinki 1978 to Beijing 2002	p. 180
Generating Optimal Curves via the C[superscript ++] Standard Library	p. 190
A Mathematical Webservice for Recognizing the Unknot	p. 201
Making the Move: The Next Version of Cinderella	p. 208
Prime Decomposition of Polynomial Ideals over Finite Fields	p. 217
Partial Standard Bases for Families	p. 228
An Environment for Symbolic and Numeric Computation	p. 239
Computing Elliptic Curves Using KASH	p. 250
Computing the Endomorphism Type of Ordinary Elliptic Curves over Finite Fields with KANT/V4	p. 261
On a Distribution of the Group of Rational Points of Reductions of an Elliptic Curve	p. 271
Algorithmic Constructions of Elliptic Curves with Complex Multiplication	p. 281
Parallel Implementation of Polyhedral Continuation Methods for Systems of Polynomial Equations	p. 283
CMPSm: A Continuation Method for Polynomial Systems (MATLAB Version)	p. 285
Generating Functions that Count t-Designs with Given Automorphism Group: Algorithms and Structure	p. 296
On the Computation of Hilbert Bases of Cones	p. 307
Encapsulate!	p. 318
Computer Algebra Library for the Construction of the Minimal Telescopers	p. 319
TOPCOM: Triangulations of Point Configurations and Oriented Matroids	p. 330
Parallel Backtrack Computing of Association Schemes Using Classroom PC's	p. 341
On Canonical Representations of Convex Polyhedra	p. 350
Decomposing Polynomial Systems into Strong Regular Sets	p. 361
Wu Wen-Tsun Formulae for the Blending of Quadratic Surfaces	p. 372
Epsilon: A Library of Software Tools for Polynomial Elimination	p. 379
Minimal Sets of Critical Pairs	p. 390
A Study in the Integration of Computer Algebra Systems: Memory Management in a Maple-Aldor Environment	p. 405
Local and Remote User Interface for ELIMINO through OMEI	p. 411
Programming the IBM MathML Expression Editor for Interactive Mathematical Applications	p. 421
From Mathematical Servers to Mathematical Services	p. 432
Towards a Mathematical Services Description Language	p. 442
An Algorithm to Compute the Minimal Telescopers for Rational Functions (Differential-Integral Case)	p. 453
An Automated Algebraic Method for Finding Exact Solutions to Nonlinear Evolution Equations	p. 464
Parametric Analysis of Systems of Algebraic Inequalities	p. 475
[Sigma][superscript it] - An Aldor Library for Linear Differential and Difference Equations	p. 485
ALLTYPES: An Algebraic Language and TYPE System	p. 486
Secure Internet Accessible Mathematical Computation Framework	p. 501
Solution Space Smoothing for VLSI Module Placement: A Computational Study	p. 503
SIMATH - Recent Developments in TMU	p. 505
Structures of Polynomial Types in Problems of the Invariant Analysis and Synthesis of Differential Equations	p. 507
Author Index	p. 509
Index of Mathematical Software Systems	p. 511
Table of Contents provided by Blackwell. All Rights Reserved.