DisCAS: A Distributed-Parallel Computer Algebra System

The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra system developed to support Wu’s method for computing characteristic sets of polynomials and for other related operations. GridPPI, an MPI-like interface for grid computing, could couple multiple computing tools distributed over grid to run complex computing problems. DisCAS combines grid technology, GridPPI and ELIMINOs to deliver high performance computing to Internet users. The overall ELIMINO, GridPPI, and grid technology, as well as the DisCAS architecture are presented. The way to access and apply DisCAS and related works are also discussed at last.

[1]  Ian T. Foster,et al.  Grid Services for Distributed System Integration , 2002, Computer.

[2]  Dongdai Lin,et al.  LOCAL AND REMOTE USER INTERFACE FOR ELIMINO THROUGH OMEI , 2002 .

[3]  Paul S. Wang,et al.  Building IAMC: A Layered Approach , 2000, PDPTA.

[4]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[5]  Wenjun Wu,et al.  Basic principles of mechanical theorem proving in elementary geometries , 1986, Journal of Automated Reasoning.

[6]  Steven Tuecke,et al.  The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration , 2002 .

[7]  William Gropp,et al.  User's Guide for mpich, a Portable Implementation of MPI Version 1.2.2 , 1996 .

[8]  Zvi M. Kedem,et al.  Charlotte: Metacomputing on the Web , 1999, Future Gener. Comput. Syst..

[9]  Paul S. Wang,et al.  Design and protocol for Internet accessible mathematical computation , 1999, ISSAC '99.

[10]  William Gropp,et al.  Users guide for mpich, a portable implementation of MPI , 1996 .

[11]  Yuichi Nakamura,et al.  Building Web Services with Java: Making Sense of XML, SOAP, WSDL, and UDDI , 2001 .

[12]  Antonio Laganà,et al.  A Web-Based Metacomputing Problem-Solving Environment for Complex Applications , 2000, GRID.

[13]  Dongdai Lin,et al.  OMEI: AN OPEN MATHEMATICAL ENGINE INTERFACE , 2001 .

[14]  Ian T. Foster,et al.  Globus: a Metacomputing Infrastructure Toolkit , 1997, Int. J. High Perform. Comput. Appl..

[15]  Ian T. Foster,et al.  The Anatomy of the Grid: Enabling Scalable Virtual Organizations , 2001, Int. J. High Perform. Comput. Appl..

[16]  Henri Casanova,et al.  NetSovle: A Network Server for Solving Computational Science Problems , 1996, Proceedings of the 1996 ACM/IEEE Conference on Supercomputing.