version 1.4, 2001/06/20 02:39:25 |
version 1.5, 2001/06/20 02:40:09 |
|
|
%$OpenXM: OpenXM/doc/ascm2001p/bib.tex,v 1.3 2001/06/20 02:09:45 takayama Exp $ |
%$OpenXM: OpenXM/doc/ascm2001p/bib.tex,v 1.4 2001/06/20 02:39:25 noro Exp $ |
|
|
\begin{thebibliography}{X} |
\begin{thebibliography}{X} |
\bibitem{OpenMath} |
\bibitem{OpenMath} |
Line 53 Symbolic Computation PASCO'97, ACM Press, 130-138 (199 |
|
Line 53 Symbolic Computation PASCO'97, ACM Press, 130-138 (199 |
|
\bibitem{ox-rfc-100} |
\bibitem{ox-rfc-100} |
Noro, M and Takayama, N., Design and Implementation |
Noro, M and Takayama, N., Design and Implementation |
of OpenXM Client-Server Model and Common Mathematical Object Format |
of OpenXM Client-Server Model and Common Mathematical Object Format |
(OpenXM-RFC 100), 1996, 1997, 1998, 1999, 2000, 2001. |
(OpenXM-RFC 100), 1996--2001. |
%% |
%% |
%\bibitem{oaku-advance} |
%\bibitem{oaku-advance} |
%Oaku, T., |
%Oaku, T., |