version 1.122, 2000/01/07 09:07:53 |
version 1.125, 2000/01/07 09:55:43 |
|
|
\documentclass{jarticle} |
\documentclass{jarticle} |
|
|
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.121 2000/01/07 08:24:52 tam Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.124 2000/01/07 09:27:02 tam Exp $ |
|
|
\usepackage{jssac} |
\usepackage{jssac} |
|
|
Line 520 OMproxy という名前で提供されている. |
|
Line 520 OMproxy という名前で提供されている. |
|
|
|
\begin{thebibliography}{99} |
\begin{thebibliography}{99} |
\bibitem{OpenMath1.0} |
\bibitem{OpenMath1.0} |
O. Caprotti, A. M. Cohen: The OpenMath Standard, Version 1.0, February 1999. |
O. Caprotti, A. M. Cohen: The OpenMath Standard, February 1999. |
(http://www.nag.co.uk/projects/OpenMath/omstd/partI.ps.gz) |
(http://www.nag.co.uk/projects/OpenMath/omstd/partI.ps.gz) |
|
|
\bibitem{NetSolve1.2b} |
\bibitem{NetSolve1.2b} |
H. Casanova, J. Dongarra, A. Karainov, J. Wasniewski: |
H. Casanova, J. Dongarra, A. Karainov, J. Wasniewski: |
Users' Guide to NetSolve, version 1.2.beta, October 27 1998. |
Users' Guide to NetSolve, October 27 1998. |
(http://www.cs.utk.edu/netsolve/download/ug.ps) |
(http://www.cs.utk.edu/netsolve/download/ug.ps) |
|
|
\bibitem{MP} |
\bibitem{MP} |
S. Gray, N. Kajler, P. S. Wang: |
S. Gray, N. Kajler, P. S. Wang: |
Design and Implementation of MP, |
Design and Implementation of MP, |
a Protocol for Efficient Exchange of Mathematical Expressions, |
a Protocol for Efficient Exchange of Mathematical Expressions, |
{\it Journal of Symbolic Computation}, {\bf 11}, 1996, 1--25. |
{\it Journal of Symbolic Computation}, {\bf 25}, February 1998, 213--238. |
(ftp://ftp.mcs.kent.edu/dist/MP/mp-jsc-96.ps.gz) |
(ftp://ftp.mcs.kent.edu/dist/MP/mp-jsc-96.ps.gz) |
|
|
|
\bibitem{OpenXM-1999} |
|
野呂 正行, 高山 信毅: {Open XM の設計と実装 --- Open message eXchange protocol for Mathematics}, December 31 1999. |
|
(http://www.math.sci.kobe-u.ac.jp/openxm/openxm-jp.tex) |
|
|
\bibitem{Ohara-Takayama-Noro-1999} |
\bibitem{Ohara-Takayama-Noro-1999} |
小原 功任, 高山 信毅, 野呂 正行: Open asir 入門, |
小原 功任, 高山 信毅, 野呂 正行: Open asir 入門, |
{\it 数式処理}, {\bf Vol 7}(No 2), 1999, 2--17. |
{\it 数式処理}, {\bf Vol 7}(No 2), 1999, 2--17. |
(ISBN 4-87243-086-7, SEG 出版, Tokyo). |
(ISBN 4-87243-086-7, SEG 出版, Tokyo). |
|
|
\bibitem{OpenXM-1999} |
|
野呂 正行, 高山 信毅: {Open XM の設計と実装 --- Open message eXchange protocol for Mathematics}, December 31 1999. |
|
(http://www.math.sci.kobe-u.ac.jp/openxxx/openxxx.tex) |
|
|
|
\bibitem{ISSAC99} |
\bibitem{ISSAC99} |
P. S. Wang: |
P. S. Wang: |
Design and Protocol for Internet Accessible Mathematical Computation, |
Design and Protocol for Internet Accessible Mathematical Computation, |
{\it Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation}, 1999, 291--298. |
{\it Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation}, 1999, 291--298. |
(ISBN 1-58113-073-2, ACM, New York 1999. Order No. 505990). |
(ISBN 1-58113-073-2, ACM, New York 1999.). |
|
|
\end{thebibliography} |
\end{thebibliography} |
|
|