DisCAS: A Distributed-Parallel Computer Algebra System

  • Yongwei Wu
  • Guangwen Yang
  • Weimin Zheng
  • Dongdai Lin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3039)


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.


Grid Computing Application Programming Interface High Performance Computing Computer Algebra System Grid Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid: Enabling Scalable Virtual Organization. International J. Supercomputer Applications 15(3) (2001)Google Scholar
  2. 2.
    Foster, I., Kesselman, C.: The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration. J. Nick, S. Tuecke (2002)Google Scholar
  3. 3.
    Foster, I., Kesselman, C.: Globus: A Metacomputing Infrastructure Toolkit. International J. Supercomputer Application 11(2), 115–128 (1997)CrossRefGoogle Scholar
  4. 4.
    Liao, W., And Wang, P.S.: Building IAMC: A Layered Approach. In: Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), pp. 1509–1516 (2000)Google Scholar
  5. 5.
    Liao, W., And Wang, P.S.: Specification of OMEI: Open Mathematical Engine Interface, ICM Technical Report (2001),
  6. 6.
    Liao, W., Lin, D., And Wang, P.S.: OMEI: Open Mathematical Engine Interface. In: Proceedings of ASCM 2001, Matsuyama, Japan, pp. 83–91 (2001)Google Scholar
  7. 7.
    Lin, D., Liu, J., Liu, Z.: Mathematical Research Software: ELIMINO. In: Proceedings of ASCM 1998, pp. 107–116. Lanzhou Univ., China (1998)Google Scholar
  8. 8.
    Wang, P.S.: Design and Protocol for Internet Accessible Mathematical Computation. In: Proc. ISSAC 1999, pp. 291–298. ACM Press, New York (1999)CrossRefGoogle Scholar
  9. 9.
    Wu, W.T.: Basic Principle of Mechanical Theorem Proving in Elementary Geometries. J. Syst. Sci. Math. Sci. 4, 207–235 (1984)Google Scholar
  10. 10.
    Wu, Y., Liao, W., Lin, D., Wang, P.S.: Local and Remote User Interface for ELIMINO through OMEI. In: Proceedings of International Congress on Mathematical Software (ICMS 2002), World Scientific Press, Singapore (August 2002)Google Scholar
  11. 11.
    Graham, S., Simeonov, S., Boubez, T., Daniels, G., Davis, D., Nakamura, Y., Neyama, R.: Building Web Services with Java: Making Sense of XML, SOAP, WSDL, and UDDI. Sams (2001)Google Scholar
  12. 12.
    Gropp, W., Lusk, E.: User’s Guide for MPICH, a Portable implementation of mpI, Argonne National Laboratory. University of Chicago, Chicago (1996)Google Scholar
  13. 13.
    Baraglia, R., Laforenza, D., Lagana, A.: A Web-based Metacomputing Problem-Solving Environment for Complex Applications. In: Proceedings of Grid Computing 2000, pp. 111–122 (2000)Google Scholar
  14. 14.
    Tuecke, S., Czajkowski, K., Foster, I., et al.: Open Grid Services Infrastructure (OGSI) Version 1.0, Global Grid Forum Draft Recommendation (2003)Google Scholar
  15. 15.
    Casanova, H., Donfarra, J.: NetSolve: A network Server for Solving Computational Science Problems. Intl. Journal of Supercomputing Application and High Performance Computing 11(3) (1998)Google Scholar
  16. 16.
    Baratloo, A., Karaul, M.: Charlotte: Metacomputing on the Web. Special Issue on Metacomputing, Future Generation Computer Systems, 559–570 (2001)Google Scholar
  17. 17.
    Yang, G., Wu, Y., Wang, Q., Zheng, W.: GridPPI: Task-level Parallel Programming Interface for Grid Computing, Accepted by International Journal of Grid and Utility Computing (2003)Google Scholar
  18. 18.
    Huang, D., Xie, F., Guangwen Yang, T.G.: A Market-oriented Computing System with Fine-grained Parallelism. In: 9th Workshop on Job Scheduling Strategies for Parallel Processing Seattle, Washington (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Yongwei Wu
    • 1
  • Guangwen Yang
    • 1
  • Weimin Zheng
    • 1
  • Dongdai Lin
    • 2
  1. 1.Department of Computer Science and TechnologyTsinghua UniversityBeijingChina
  2. 2.State Key Laboratory of Information Security, Institute of SoftwareChinese Academy of SciencesBeijingChina

Personalised recommendations