Distributed computing model for Wu's method

Ruan Jian Xue Bao/Journal of Software

Volumn 16, Issue 3, 2005, Pages 384-391

  Wu, Yong Wei ^a   Yang, Guang Wen ^a   Yang, Hong ^b   Zheng, Wei Min ^a   Lin, Dong Dai ^c  

^a TSINGHUA UNIVERSITY   (China)

^b Beijing Municipal Computing Center   (China)

^c INSTITUTE OF SOFTWARE   (China)

Author keywords

Distributed computation; Symbolic computation; Wu's method

Indexed keywords

ALGORITHMS; COMMUNICATION; COMPUTER APPLICATIONS; INTERNET; MATHEMATICAL MODELS; MATHEMATICAL TECHNIQUES; POLYNOMIALS;

BIG INTEGERS; DISTRIBUTED COMPUTING MODELS; DIVIDING AND RULING PROBLEM; ELIMINO SYSTEMS; GLOBUS TOOLKITS 3; MATHEMATICS MECHANIZATION; SYMBOLIC COMPUTATION; WU'S METHOD;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 17244379862     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.1360/jos160384     Document Type: Article

References (12)

1. Wu WT. On the decision problem and the mechanization of theorem in elementary geometry. Scientia Sinica, 1978, 21: 159-172.
2. Wu WT. Basic Principle of Mechanical Theorem Proving in Geometries (Part on Elementary Geometries). Beijing: Science Press, 1984 (in Chinese).
3. Wang DK, Zhi LH. Software development in MMRC. In: Yang W, Wang D, eds. Proc. of the ATCM'95. Singapore: Academic Press, 1995. 234-243.
4. Wang D. An implementation of the characteristic set method in Maple. In: Pfalzgraf J, Wang D, eds. Automated Practical Reasoning: Algebraic Approaches. New York: Springer-Verlag, 1998. 187-201.
5. Wang P. Parallel polynomial operations on SMPs: An overview. Journal of Symbolic Computation, 2001, 11(1): 377-396.
6. Rayes M, Wang P. Parallel GCD for sparse multivariate polynomials on shared memory multiple processors. In: Proc. of the PASCO'96. Washington: IEEE Press, 1996. 326-335.
7. Ajwa I, Wang P. Applying parallel/distributed computing to advanced algebraic computations. In: Proc. of the 1997 IEEE National Aerospace and Electronics Conf. Washington: IEEE Press, 1997. 156-164.
8. Lin DD, Wu YW, Yang H. Parallel computation for polynomial GCD. In: Zheng WM, Yang GW, Wu YW, eds. Proc. of the China National Computer Conf. Beijing: Tsinghua Press, 2003. 900-905 (in Chinese with English abstract).
9. Wu YW, Yang GW, Lin DD. On the parallel computation for characteristic set method. Chinese Journal of Electronics, 2004, 18(3): 383-388.
10. Wang P. Parallel univariate polynomial factorization on shared-memory multiple processors. In: Caviness B, Johnson J, eds. Proc. of the ISSAC'99. New York: ACM Press, 1999. 145-151.
11. Lin DD, Liu J, Liu ZJ. Mathematical research software: ELIMINO. In: Li ZB, ed. Proc. of the ACM'98. Lanzhou: Lanzhou University Press, 1998. 107-114.
12. Yang H, Liu Z, Lin D, Development of an object-oriented number system. Mathematics Mechanization Research, 2000, 18: 212-219.