next up previous
Next: この文書について... Up: Design and Implementation of Previous: OX servers as a

参考文献

1
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.

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

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

4
http://www.openmath.org

5
http://www.math.kobe-u.ac.jp/OpenXM/ (under construction)

6
Ohara, Takayama, Noro: Introduction to Open Asir , 1999, (in Japanese), Suushiki-Shyori, Vol 7, No 2, 2-17. (ISBN4-87243-086-7, SEG , Tokyo).
http://www.math.kobe-u.ac.jp/OpenXM/

7
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

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

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

Masayuki Noro,
FUJITSU LABORATORIES LTD., Kawasaki, Japan;
noryo@flab.fujitsu.co.jp

Nobuki Takayama,
Department of Mathematics, Kobe University, Rokko, Kobe, 657-8501, Japan;
takayama@math.kobe-u.ac.jp



Nobuki Takayama 平成12年4月13日