Bibliography

1

The OpenMath Esprit Consortium (Caprotti, O. and Cohen, A.M. Editors), The OpenMath Standard. D1.3.2a (Public)
http://www.nag.co.uk/projects/OpenMath, February, 1999.

2

Cox, D., Little, J., O'Shea, Using Algebraic Geometry, Springer, 1998.

3

Gray, S., Kajler, N. and Wang, P. S., Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions, Journal of Symbolic Computation, 1996.

4

Grayson, D. and Stillman, M., Macaulay2, a software system for research in algebraic geometry, available at http://www.math.uiuc.edu/Macaulay2.

5

Greuel, G.-M. et al., SINGULAR : a computer algebra system for polynomial computations,
http://www.mathematik.uni-kl.de/~zca/Singular/.

6

Hubert, B. and Thomas, R., TiGERS -- computing Gröbner fans of toric ideals, 1998. http://www.math.tamu.edu/~rekha/programs.html

7

Linton, S. and Solomon, A., OpenMath, IAMC and GAP, preprint, 1999.

8

Message Passing Interface, http://www.mpi-forum.org

9

NetSolve, http://www.cs.utk.edu/netsolve

10

Noro, M. et al., A Computer Algebra System Risa/Asir, 1993, 1995, 2000
ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/

11

Noro, M. and McKay, J., Computation of replicable functions on Risa/Asir. Proceedings of the Second International Symposium on Symbolic Computation PASCO'97, ACM Press, 130-138 (1997).

12

Noro, M and Takayama, N., Design and Implementation of OpenXM Client-Server Model and Common Mathematical Object Format (OpenXM-RFC 100), 1996, 1997, 1998, 1999, 2000, 2001.

13

Oaku, T., Algorithms for $b$-functions, restrictions, and algebraic local cohomology groups of $D$-modules. Advances in Applied Mathematics, 61, 61-105, 1997.

14

Ohara, K., Protocol to Start Engines (OpenXM-RFC 101), 2000.

15

http://www.math.kobe-u.ac.jp/OpenXM or http://www.openxm.org

16

Saito, M., Sturmfels, B. and Takayama, N., Gröbner Deformations of Hypergeometric Differential Equations. Algorithms and Computation in Mathematics 6. Springer, 1999.

17

Schefström, D., Building a highly integrated development environment using preexisting parts. In IFIP 11th World Computer Congress, San Francisco, USA.

18

Shoup, V., A new polynomial factorization algorithm and its implementation, Journal of Symbolic Computation, 20, 364-397, 1996.

19

Takayama, N., Kan: A system for computation in algebraic analysis, 1991 version 1, 1994 version 2, the latest version is 2.991106. ftp.math.kobe-u.ac.jp/pub/kan

20

Verschelde, J., PHCpack: A general-purpose solver for polynomial systems by homotopy continuation. ACM Transaction on Mathematical Softwares, 25(2) 251-276, 1999.

21

Wang, P., Design and Protocol for Internet Accessible Mathematical Computation. Technical Report ICM-199901-001, ICM/Kent State University, 1999.

22

Wolfram, S., The Mathematica Book, Fourth Edition. 1999, Cambridge University Press.