Mathematical Software: Proceedings of the First International Congress of Mathematical Software

Mathematical Software: Proceedings of the First International Congress of Mathematical Software

by Nobuki Takayama
     
 

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

See more details below

Overview

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.

Product Details

ISBN-13:
9789812380487
Publisher:
World Scientific Publishing Company, Incorporated
Publication date:
07/28/2002
Pages:
528
Product dimensions:
6.20(w) x 9.10(h) x 1.20(d)

Related Subjects

Table of Contents

Preface
Invited Speakers
Organization
The Experimental Mathematician: A Computational Guide to the Mathematical Unknown1
Computer Algebra and Finite Groups4
Software Integration and Computer Proofs15
Software Carry-Save for Fast Multiple-Precision Algorithms29
LinBox: A Generic Library for Exact Linear Algebra40
Block-Iterative Algorithms for Image Reconstruction51
The Snap Package for Arithmetic with Numeric Polynomials61
Algorithms of Composite Rational Interpolation Based on Continued Fractions72
Fast and Space-Efficient Algorithms for Deciding Shellability of Simplicial Complexes of Large Size Using h-Assignments82
Computing GCLF Using Syzygy Algorithm93
Efficient Cooperative Solvers for Nonlinear Continuous Constraint Problems104
Pseudo-Divison Machine (I): A Model of Symbolic Computation115
XSSR: An Experimental System for String Rewriting - Decision Problems, Algorithms, and Implementation126
The Differential Structure of the Brieskorn Lattice136
An Efficient Modular Algorithm for Computing the Global b-Function147
A Method for Constructing Holonomic Systems for Algebraic Local Cohomology Classes with Support on a Zero Dimensional Variety158
D-Modules for Macaulay 2169
Computer Graphics in Mathematical Research; From Helsinki 1978 to Beijing 2002180
Generating Optimal Curves via the C[superscript ++] Standard Library190
A Mathematical Webservice for Recognizing the Unknot201
Making the Move: The Next Version of Cinderella208
Prime Decomposition of Polynomial Ideals over Finite Fields217
Partial Standard Bases for Families228
An Environment for Symbolic and Numeric Computation239
Computing Elliptic Curves Using KASH250
Computing the Endomorphism Type of Ordinary Elliptic Curves over Finite Fields with KANT/V4261
On a Distribution of the Group of Rational Points of Reductions of an Elliptic Curve271
Algorithmic Constructions of Elliptic Curves with Complex Multiplication281
Parallel Implementation of Polyhedral Continuation Methods for Systems of Polynomial Equations283
CMPSm: A Continuation Method for Polynomial Systems (MATLAB Version)285
Generating Functions that Count t-Designs with Given Automorphism Group: Algorithms and Structure296
On the Computation of Hilbert Bases of Cones307
Encapsulate!318
Computer Algebra Library for the Construction of the Minimal Telescopers319
TOPCOM: Triangulations of Point Configurations and Oriented Matroids330
Parallel Backtrack Computing of Association Schemes Using Classroom PC's341
On Canonical Representations of Convex Polyhedra350
Decomposing Polynomial Systems into Strong Regular Sets361
Wu Wen-Tsun Formulae for the Blending of Quadratic Surfaces372
Epsilon: A Library of Software Tools for Polynomial Elimination379
Minimal Sets of Critical Pairs390
A Study in the Integration of Computer Algebra Systems: Memory Management in a Maple-Aldor Environment405
Local and Remote User Interface for ELIMINO through OMEI411
Programming the IBM MathML Expression Editor for Interactive Mathematical Applications421
From Mathematical Servers to Mathematical Services432
Towards a Mathematical Services Description Language442
An Algorithm to Compute the Minimal Telescopers for Rational Functions (Differential-Integral Case)453
An Automated Algebraic Method for Finding Exact Solutions to Nonlinear Evolution Equations464
Parametric Analysis of Systems of Algebraic Inequalities475
[Sigma][superscript it] - An Aldor Library for Linear Differential and Difference Equations485
ALLTYPES: An Algebraic Language and TYPE System486
Secure Internet Accessible Mathematical Computation Framework501
Solution Space Smoothing for VLSI Module Placement: A Computational Study503
SIMATH - Recent Developments in TMU505
Structures of Polynomial Types in Problems of the Invariant Analysis and Synthesis of Differential Equations507
Author Index509
Index of Mathematical Software Systems511

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >