| version 1.122, 2000/01/07 09:07:53 |
version 1.123, 2000/01/07 09:20:32 |
|
|
| \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.122 2000/01/07 09:07:53 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} |
| Line 535 a Protocol for Efficient Exchange of Mathematical Expr |
|
| Line 535 a Protocol for Efficient Exchange of Mathematical Expr |
|
| {\it Journal of Symbolic Computation}, {\bf 11}, 1996, 1--25. |
{\it Journal of Symbolic Computation}, {\bf 11}, 1996, 1--25. |
| (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/openxxx/openxxx.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} |
| |
|