Annotation of OpenXM/doc/Papers/rims-2002-12-12-ja.tex, Revision 1.1
1.1 ! takayama 1: % $OpenXM$
! 2: % It was under misc-2002/12,
! 3: %Id: rims-2003-12.tex,v 1.10 2002/12/02 02:14:55 taka Exp $
! 4: % Some .gif files are under misc-2002/12.
! 5: %% OpenXM/doc/Papers $B$X0\F0(B. rims-2002-12-12.tex
! 6: \documentclass{jarticle}
! 7: \title{\bf OpenXM 1.2.2 $B$N35MW(B}
! 8: \author{ OpenXM $B3+H/%0%k!<%W(B }
! 9: \date{2002$BG/(B12$B7n(B12$BF|(B}
! 10:
! 11: %% Private macros
! 12: \newenvironment{FRAME}{\begin{trivlist}\item[]
! 13: \hrule
! 14: \hbox to \linewidth\bgroup
! 15: \advance\linewidth by -30pt
! 16: \hsize=\linewidth
! 17: \vrule\hfill
! 18: \vbox\bgroup
! 19: \vskip15pt
! 20: \def\thempfootnote{\arabic{mpfootnote}}
! 21: \begin{minipage}{\linewidth}}{%
! 22: \end{minipage}\vskip15pt
! 23: \egroup\hfill\vrule
! 24: \egroup\hrule
! 25: \end{trivlist}}
! 26:
! 27: \begin{document}
! 28: \maketitle
! 29:
! 30: OpenXM $B%W%m%8%'%/%H$G$O(B
! 31: $B?t3X$G$NJBNs7W;;(B,
! 32: $B?t3X%=%U%H%&%(%"$NE}9g2=(B $B$^$?$O(B
! 33: Conglomerate $B2=(B\cite{solomon},
! 34: $B?t3XE*CN<1$N%^%M!<%8%a%s%H(B (Mathematical Knowledge Management)
! 35: $B$J$I$N=tLdBj$r9M;!$9$k$H$H$b$K(B,
! 36: $B<B:]$K?t3X$N8&5f$d?t3X$N1~MQ$K;H$($k%Q%C%1!<%8$N3+H/$r$*$3$J$C$F$$$k(B.
! 37:
! 38: $B%Q%C%1!<%8$O2~D{$r(B 4 $B2s$*$3$J$C$?(B.
! 39: \begin{enumerate}
! 40: \item OpenXM 1.1.1 (January 24, 2000): $B:G=i$N<B83HG(B.
! 41: \item OpenXM 1.1.2 (March 20, 2000): $B$H$j$"$($:;H$($kHG(B.
! 42: \item OpenXM 1.1.3 (September 26, 2000): 1.1 $B7O$N:G=*HG(B. OpenXM RFC 100 $B7A<0(B
! 43: $B$N%W%m%;%9LZ(B. 1077 $B8D$N?t3X4X?t$rDs6!(B.
! 44: $BDs6!$7$F$$$k%5!<%P$O(B {\tt ox\_asir}, {\tt ox\_sm1},
! 45: {\tt ox\_phc}, {\tt ox\_gnuplot}, {\tt ox\_m2}, {\tt ox\_tigers},
! 46: {\tt ox\_math}(ematica), {\tt OMproxy} \cite{rims-1199}.
! 47: \item OpenXM 1.2.1 (March 2, 2002): Cygwin (Windows) $B$X$NBP1~3+;O(B.
! 48: $B%^%K%e%"%k<+F0@8@.(B(gentexi)$B$J$I(B.
! 49: \end{enumerate}
! 50: $B$3$3$G$O$A$+$8$+M=Dj$7$F$$$k(B
! 51: 1.2.2 $B7O$G$N?7$7$$5!G=$H@_7W$K$*$1$k=tLdBjE@$r5DO@$7$?$$(B.
! 52:
! 53: \section{ oxd $B%9!<%Q!<%5!<%P(B }
! 54:
! 55: OpenXM $B$G$O(B 1.2 $B7ONs$h$j(B Cygwin $B$rMQ$$$F(B Windows $B$K$bItJ,E*$KBP1~$7$F$-$?(B.
! 56: $B$^$?(B 1.1 $B7ONs$+$i(B OpenXM $BBP1~$N(B Java $B%/%i%9$rDs6!$7$F$-$?(B.
! 57: $B$3$l$i$N3+H/$G7P83$7$?$3$H$O(B,
! 58: \underline{ $B%5!<%P$N5/F0$,HQ;((B }
! 59: $B$H$$$&$3$H$G$"$k(B.
! 60: $B$H$/$K(B C $B$H(B unix $B$NOHAH$r$O$:$l$k$H(B OpenXM $B%5!<%P$r%/%i%$%"%s%H$,5/F0(B
! 61: $B$9$k$N$,$H$F$bLLE]$K$J$k(B.
! 62: $B$5$i$K%/%i%$%"%s%H$N%3!<%I$O(B OS $BKh$KJ,4t$5$;$kI,MW$,@8$8$k(B.
! 63: $B$3$NHQ;($5$rHr$1$k(B
! 64: $B2r7h:v$H$7$F$O0J2<$N$h$&$JJ}K!$,$"$k$G$"$m$&(B.
! 65: \begin{enumerate}
! 66: \item Corba $B$J$I$N(B Agent $B$N;EAH$_$rMQ$$$k(B.
! 67: \item ssh $B$H(B oxc $B$rMQ$$$k(B OpenXM RFC 101 ($B>.86(B) $B$rMQ$$$k(B.
! 68: \end{enumerate}
! 69: ``$B<B:]$K;H$($k%Q%C%1!<%8$rG[I[$9$k(B'' $B$H$$$&N)>l$G$O(B,
! 70: Corba $BEy$N<B83E*%$%s%U%i%9%H%i%/%A%c$rMQ$$$k$N$O$J$k$Y$/Hr$1$?$$(B.
! 71: $B$^$?8zN(=E;k$N%Q%C%1!<%8$r:n@.$7$?$$$H$-$N<+M3EY$,$J$$(B.
! 72: OpenXM RFC 101 $B$rMQ$$$k$N$ONI$$J}K!$G$"$k$,(B, $B<B:]$K$O(B
! 73: $B%a%$%s$N%/%i%$%"%s%H$G$"$k(B asir $B$,(B OpenXM RFC 100 $B$K$7$+BP1~$7$F$$$J$$(B
! 74: $B$7(B, 100 $BBP1~$N$_$N%5!<%P$bB?$$(B.
! 75: $B$7$?$,$C$F(B, RFC 100, 101 $BN>J}$KBP1~$7$+$D(B, OpenXM $B%5!<%P$rMF0W$K5/F0(B
! 76: $B$G$-$k$h$&$J%9!<%Q%5!<%P$N3+H/$r;n$_$?(B.
! 77: $B$3$l$,(B oxd $B$G$"$k(B ($B%=!<%9$O(B {\tt OpenXM/src/kxx/oxd.c }).
! 78:
! 79: %%Note: 2002, 10/20.
! 80: \noindent
! 81: $BMxMQNc(B:
! 82: %%%%%%%%%% mini page template %%%%%%%%%%%%
! 83: \begin{flushleft}
! 84: \begin{minipage}[t]{5cm}
! 85: \begin{FRAME}
! 86: \noindent
! 87: $B%5!<%PB&$N%m%0(B:
! 88: {\tiny \begin{verbatim}
! 89: bash-2.03$ cd OpenXM/src/kxx
! 90: bash-2.03$ ./oxd
! 91: Hello from open. serverName is localhost
! 92: and portnumber is 8089
! 93: Done the initialization. port =8089
! 94: $B%G%U%)%k%H(B $B%]!<%H(B 8089 $B$GBT$D(B.
! 95: Waiting a connection
! 96: \end{verbatim} }
! 97: \end{FRAME}
! 98: \end{minipage} \quad
! 99: %
! 100: \begin{minipage}[t]{5cm}
! 101: \begin{FRAME}
! 102: \noindent
! 103: $B%/%i%$%"%s%HB&$N%m%0(B:
! 104: {\tiny \begin{verbatim}
! 105: bash-2.03$ cd OpenXM/src/OpenMath
! 106: bash-2.03$ java testclientr
! 107: $B$?$H$($P(B java $B$G@\B3$7$F$_$k(B.
! 108: \end{verbatim} }
! 109: \end{FRAME}
! 110: \end{minipage} \\
! 111: \end{flushleft}
! 112: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
! 113:
! 114: \noindent
! 115: oxd $B$H$NDL?.%3%^%s%I$O0J2<$N$h$&$K(B XML $B7A<0$G$"$k(B.
! 116: $B%H%C%W%N!<%I$O(B \verb@ <login> @ $B!A(B \verb@ </login> @ $B$G$"$k(B.
! 117:
! 118: %%%%%%%%%% mini page template %%%%%%%%%%%%
! 119: \begin{flushleft}
! 120: \begin{minipage}[t]{5cm}
! 121: \begin{FRAME}
! 122: \noindent $B%5!<%PB&(B:
! 123: {\tiny \begin{verbatim}
! 124: ... Serial=0
! 125: Trying to accept from localhost... len= 16
! 126: Accepted.
! 127:
! 128: Connected. 8089 $B$K%/%i%$%"%s%H$,$D$J$,$C$?(B.
! 129: Waiting a connection... Serial=1
! 130: Trying to accept from localhost...
! 131: Serial=1: command=<login method="file">
! 132: $B%/%i%$%s%H$h$jAw$i$l$FMh$?%3%^%s%I$O(B <login>
! 133: Serial=1: command=<done/>
! 134:
! 135: $B$3$A$i$h$jAwIU$7$?(B challenge $B$r@5$7$/=hM}(B
! 136: $B$G$-$?$N$G(B, $BG'>Z$,40N;(B.
! 137: Serial=1: command=<launch> ox -ox ox_asir
! 138: -reverse -control 3167
! 139: -data 3168 -finish </launch>
! 140: $B%/%i%$%"%s%H$h$j(B ox $B%5!<%P$N5/F0%3%^%s%I$r(B
! 141: $B<u$1<h$k(B. $B%(%s%8%sL>$O%U%k%Q%9$G$OM?$($J$$(B.
! 142:
! 143: Serial=1 : Executing command
! 144: =/home/taka/OpenXM/bin/openxm ox
! 145: -ox ox_asir -reverse -control 3167
! 146: -data 3168 -finish
! 147: The server ox_asir was not found.
! 148: Trying to find it under OpenXM/bin
! 149: Starting OX server :
! 150: /home/taka/OpenXM/bin/ox_asir
! 151:
! 152: resultCode=0
! 153: Serial=1: command=<login/>
! 154: oxd $B$X$N(B login $B$O=*N;(B.
! 155:
! 156: Waiting the termination of
! 157: the child process (ox server).
! 158: 1: The child process is terminated.
! 159:
! 160: \end{verbatim} }
! 161: \end{FRAME}
! 162: \end{minipage} \quad
! 163: %
! 164: \begin{minipage}[t]{5cm}
! 165: \begin{FRAME}
! 166: \noindent $B%/%i%$%"%s%HB&(B:
! 167: {\tiny \begin{verbatim}
! 168: <login method="file">
! 169: $BG'>ZJ}K!$O(B file $B$rA*Br(B.
! 170:
! 171: <challenge file="/home/taka/.oxd10793"/>
! 172: oxd $B$h$j(B $B%U%!%$%k(B /home/taka/.oxd10793
! 173: $B$K(B touch $B$G$-$?$iG'>Z$9$k$h$HO"Mm$r$&$1$k(B.
! 174: ?
! 175: <done/> touch $B$7$?$N$G(B <done/> $B$rAw$k(B.
! 176:
! 177: Listenning...
! 178: <launch> ox -ox ox_asir -reverse -control 3167
! 179: -data 3168 -finish </launch>
! 180: oxd $B$X(B OpenXM $B%5!<%P$N5/F0%3%^%s%I$rAw$k(B.
! 181:
! 182: <suceeded/> oxd $B$h$j5/F0@.8y$N%a%C%;!<%8(B
! 183: $B$r$b$i$&(B.
! 184: ?
! 185: \end{verbatim} }
! 186: \end{FRAME}
! 187: Java $BB&$N@\B3%W%m%0%i%`$O4JC1$G(B,
! 188: localhost $B$N(B oxd $B$G5/F0$9$k$J$i(B
! 189: \begin{verbatim}
! 190: asir = new OpenXM("ox_asir");
! 191: \end{verbatim}
! 192: $B$H(B OX $B%5!<%PL>$r0z?t$H$7$F(B OpenXM $B%3%s%9%H%i%/%?(B
! 193: $B$r8F$Y$P$h$$(B.
! 194: %%Note: sm1 $B$N%/%i%$%"%s%H%W%m%0%i%`$O(B oxd.sm1 $B$N(B asirconnectr.
! 195: \end{minipage} \\
! 196: \end{flushleft}
! 197: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
! 198:
! 199: %%%%%%%%%% mini page template %%%%%%%%%%%%
! 200: \begin{flushleft}
! 201: \begin{minipage}[t]{5cm}
! 202: \begin{FRAME}
! 203: $B%(%s%8%sB&$N=PNO(B:
! 204: {\tiny \begin{verbatim}
! 205: controlByteOrder=0
! 206: OpenXM/Risa/Asir-Contrib(20020922),
! 207: Copyright 2000-2002, OpenXM.org
! 208: Loading ~/.asirrc
! 209: I'm an ox_asir, Version 20020802.
! 210: #0 Got OX_COMMAND SM_mathcap
! 211:
! 212: $B0J2<N,(B.
! 213: \end{verbatim} }
! 214: \end{FRAME}
! 215: \end{minipage} \quad
! 216: %
! 217: \begin{minipage}[t]{5cm}
! 218: \begin{FRAME}
! 219: \noindent
! 220: $B%/%i%$%"%s%HB&$N%(%s%8%s$H$NDL?.>u67(B:
! 221: {\tiny \begin{verbatim}
! 222: Accepted the control port.
! 223: Accepted the data port.
! 224: start
! 225: CMO> (CMO_MATHCAP,(CMO_LIST,3,(CMO_LIST,2,
! 226: (CMO_INT32,199901160),
! 227: (CMO_STRING,7,ox_asir)),
! 228: (CMO_LIST,18,(CMO_INT32,276), $B0J2<N,(B.
! 229: \end{verbatim} }
! 230: \end{FRAME}
! 231: \end{minipage} \\
! 232: \end{flushleft}
! 233: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
! 234:
! 235: $B$3$N$h$&$K(B oxd $B$r$b$A$$$k$3$H$K$h$j(B,
! 236: OS $B$d(B $B8@8l$K$h$k5/F0K!$N(B
! 237: $B0c$$$r5[<}2DG=$G$"$k(B.
! 238: $B$5$i$K(B oxd $B$N<BAu$K(B agent $B$N;EAH$_$rAH$_9~$`$3$H$b(B
! 239: $B2DG=$G$"$k(B.
! 240:
! 241: \rightline{$B3+H/(B: $B9b;3(B}
! 242:
! 243: \section{$B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$'' }
! 244:
! 245: $B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$'' $B$O(B,
! 246: OpenXM $B$N%9%m!<%,%s$G$"$k(B.
! 247: $B$3$N>O$G$O(B, PDA $B$d(B Web $B$X$NBP1~$r>R2p$9$k(B.
! 248:
! 249: \subsection{ $B%6%&%k%9(B $BBP1~(B }
! 250:
! 251: $B%7%c!<%W$N%6%&%k%9(B SL-A300
! 252: $B$G(B Risa/Asir $B$,IT40A4$J$,$iF0:n$7$F$$$k(B.
! 253: SL-A300 $B$G$O(BEmbedix $B$H$$$&(B Linux $B$rEk:\$7$F$$$k(B.
! 254: GC $B$H@0?t7W;;$N$?$a$N%^%7%s8l%W%m%0%i%`$NItJ,$N0\?"$,LdBj$G$"$C$?$,(B,
! 255: GC $B$K$D$$$F$O$9$G$K3+H/%0%k!<%W(B (H-J. Boehm, A. J. Demers)
! 256: $B$,(B Xscale CPU $B$KBP1~$7$F$$$?(B.
! 257: $B@0?t7W;;$K$D$$$F$O%]!<%?%V%k@0?t7W;;(B
! 258: $B%3!<%I(B \\
! 259: {\tt OpenXM\_contrib2/asir2000/asm/asmalpha.c}
! 260: $B$rMQ$$$?(B.
! 261:
! 262: \rightline{$B3+H/(B: $BF#K\(B}
! 263:
! 264: \subsection{ OpenXM Online }
! 265:
! 266: OpenXM $B$G$O(B HTTP $B%W%m%H%3%k$NItJ,=89g(B (GET $B$*$h$S(B POST $B$N0lIt(B)
! 267: $B$r<BAu$7(B, Web$B%V%i%&%6$r(B OpenXM $B%(%s%8%s$N%U%m%s%H%(%s%I$H$7$FMxMQ$7$?$j(B,
! 268: OpenXM $B%(%s%8%s$KBP$9$k(B Remote Procedure Call $B$r$*$3$J$&$?$a$KMxMQ$7$F$$$k(B.
! 269: $B$3$N1~MQ$H$7$F(B,
! 270: $B8=:_(B Asir Online $B$r(B \\
! 271: {\tt http://fe.math.kobe-u.ac.jp:8090}
! 272: $B$G<B83E*$K1?MQ$7$F$$$k(B.
! 273: HTTP $B$rM}2r$9$k%5!<%P(B (httpd) $B$O(B, kan/sm1 $B$N%]%9%H%9%/%j%W%H8@8l(B
! 274: $B$G<BAu$5$l$F$$$k(B
! 275: ({\tt OpenXM/src/kan96xx/Doc/httpd*.sm1}).
! 276:
! 277: $B$3$N<B831?MQ$GLdBj$H$J$C$?$N$O(B,
! 278: \underline{$BCfCG$NEAGE$H%j%=!<%9$N@)8B(B}
! 279: $B$NLdBj$G$"$k(B.
! 280: OpenXM RFC 100 $B$G$O%(%s%8%s$N7W;;$rCfCG$9$k%m%P%9%H$J(B
! 281: $B%W%m%H%3%k$rDj$a$F$*$j(B, $B$3$l$,(B OpenXM RFC 100 $B$NFCD'$N0l$D$G$"$k(B
! 282: \cite{ascm2001}, \cite{openxm-rfc100}.
! 283: $B$7$+$7$J$,$i(B, $B%(%s%8%s4V$GCfCG$rEAGE$5$;$k;EAH$_$K$D$$$F$O(B,
! 284: $BI8=`$r$J$K$b7h$a$F$$$J$$(B.
! 285: Web $B$G7W;;$r%5!<%S%9$9$k$K$O$3$l$i$N;EAH$_$OIT2D7g$G$"$j(B,
! 286: $BCfCG$rEAGE$9$k;EAH$_$H%j%=!<%9$N@)8B$r<B83E*$K<BAu$7$?(B.
! 287:
! 288: $BCfCG$K4X$7$F$O(B, $BCfCG$7$?$H$-$K<B9T$5$l$k4X?t$rEPO?$9$k;EAH$_$,(B
! 289: OpenXM $B%5!<%P$d%/%i%s%"%s%H$K$"$k(B.
! 290: $B@N$N(B Basic $BIw$J$i(B {\tt On stop goto ...}, $B:G6a$N(B Java $BIw$J$i(B
! 291: {\tt try \{ ... \} catch \{ ... \} } $B$_$?$$$J$b$N$G$"$k$,(B,
! 292: asir $B$G$O(B {\tt register\_handler} $B4X?t(B,
! 293: sm1 $B$G$O(B {\tt ctrlC-hook } $B4X?t$GEPO?$9$k(B.
! 294: $B$3$N4X?t$NCf$G<!$N>e0U2<C#$N=hM}$r$*$3$J$$CfCG$rEAGE$5$;$k(B.
! 295:
! 296: \begin{FRAME}
! 297: \noindent
! 298: $B>e0U2<C#$NCfCG=hM}(B:
! 299: \begin{enumerate}
! 300: \item $B<+J,$N;R6!%W%m%;%9$r$9$Y$F%j%9%H$9$k(B
! 301: ($B$?$H$($P(B {\tt ox\_get\_serverinfo() }).
! 302: \item $B;R6!%W%m%;%9$K=gHV$K(B OpenXM-RFC 100 $B$NCfCG%a%C%;!<%8$rAw$k(B.
! 303: \end{enumerate}
! 304: \end{FRAME}
! 305:
! 306: $B>e0U2<C#K!$GCfCG$O$-$A$s$HF0:n$9$k$,(B,
! 307: $B$3$NJ}K!$N7gE@$OCfCG$,C`<!E*$K$*$3$J$o$l$k$?$a(B, $BB??t$N%5!<%P$,4^$^$l$k(B
! 308: $BLZ9=B$$N>l9g$OF0:n$,CY$$$3$H$G$"$k(B.
! 309: $B:#8eI,MW$K1~$8$FCfCG%a%C%;!<%8$rF1Js$9$kJ}K!$r?7$7$$%W%m%H%3%k$H$7$F9M;!$9$Y$-$G$"$m$&(B.
! 310:
! 311: $B%j%=!<%9@)8B$K4X$7$F$bN`;w$N>e0U2<C#J}<0$G%j%=!<%9NL$rJ];}$7$F$$$kBg0hJQ?t(B
! 312: $B$NCM$rEAC#$9$k$3$H$K$h$j(B OpenXM-RFC 100 $B$NOHFb$G(B
! 313: $B%3%^%s%IKh$N%j%=!<%9@)8B$,2DG=$G$"$k(B.
! 314: $B$7$+$7$J$,$i(B shared memory $B$N;EAH$_$,$"$l$P$h$j4JC1$G$"$m$&(B.
! 315:
! 316: \rightline{$B3+H/(B: $B9b;3(B}
! 317:
! 318: \section{OpenXM $B$N%U%m%s%H%(%s%I(B}
! 319:
! 320: Infty Editor $B$O6e=#Bg3X$NNkLZ$i$,Cf?4$H$J$j3+H/$7$F$$$k(B
! 321: $B<j=q$-?t<0$NF~NO5!G=$b$b$D%(%G%#%?!<$G$"$k(B.
! 322: $B$3$N%(%G%#%?!<$+$i(B OpenXM $B%5!<%P$r$h$S$@$95!G=$,(B
! 323: $BF#K\$K$h$j@_7W<BAu$5$l$?(B.
! 324: $B>\$7$$Js9p$O(B \cite{fujimoto}.
! 325:
! 326: \rightline{$B3+H/(B: $BF#K\(B}
! 327:
! 328: \section{ OpenXM/Risa/Asir/Contrib }
! 329:
! 330: OpenXM/Risa/Asir (OpenXM $BHG(B Risa/Asir) $B$O(B OpenXM $B%Q%C%1!<%8$N(B
! 331: $B%a%$%s$N%/%i%$%"%s%H$G$"$k(B.
! 332: OpenXM/Risa/Asir/Contrib $B%W%m%8%'%/%H$G$O(B, asir $B8@8l$G$+$+$l$?3F<o?t3X4X?t(B,
! 333: $B%f!<%F%#%j%#%F%#4X?t$*$h$S(B OpenXM $B%5!<%P$H$N%$%s%?%U%'!<%94X?t$r3+H/$7$F$$$k(B.
! 334: $BCf4|L\I8$H$7$F(B ``$BD64v2?4X?t$K4XO"$9$k7W;;$O$J$s$G$b$G$-$k$h$&$K(B'' $B$r(B
! 335: $B7G$2$F$$$k(B.
! 336: $BD64v2?4X?t$K4XO"$9$k7W;;$O(B, $B7W;;Be?t(B, $BB?LLBN4v2?(B, $B?tCM2r@O(B,
! 337: $B%S%8%e%"%j%<!<%7%g%s$J$I$$$m$$$m$JJ,Ln$K4X78$7$F$$$k(B.
! 338:
! 339: $B8=:_$N4X?t0lMw$O0J2<$N$H$*$j(B.
! 340: {\small
! 341: \begin{verbatim}
! 342: base_cancel poly_factor
! 343: base_choose poly_gcd
! 344: base_flatten poly_grobner_basis
! 345: base_intersection poly_hilbert_polynomial
! 346: base_memberq poly_initial
! 347: base_permutation poly_initial_coefficients
! 348: base_position poly_initial_term
! 349: base_prune poly_solve_linear
! 350: base_replace print_dvi_form
! 351: base_set_minus print_em
! 352: base_set_union print_gif_form
! 353: base_subsetq print_input_form
! 354: base_subsets_of_size print_open_math_tfb_form
! 355: dsolv_dual print_open_math_xml_form
! 356: dsolv_starting_term print_output
! 357: glib_line print_ox_rfc100_xml_form
! 358: glib_open print_png_form
! 359: glib_plot print_terminal_form
! 360: glib_print print_tex_form
! 361: glib_putpixel print_tfb_form
! 362: glib_tops print_xdvi_form
! 363: glib_window print_xv_form
! 364: gnuplot sm1
! 365: gnuplot_heat sm1_ahg
! 366: gnuplot_output sm1_appell1
! 367: gnuplot_plot_dots sm1_appell4
! 368: gnuplot_plot_function sm1_auto_reduce
! 369: gnuplot_start sm1_bfunction
! 370: hilbert_polynomial sm1_deRham
! 371: m_rtostr sm1_distraction
! 372: m_start sm1_gb
! 373: m_tree_to_string sm1_generalized_bfunction
! 374: matrix_clone sm1_genericAnn
! 375: matrix_det sm1_gkz
! 376: matrix_diagonal_matrix sm1_hilbert
! 377: matrix_eigenavalues sm1_mul
! 378: matrix_identity_matrix sm1_push_int0
! 379: matrix_inner_product sm1_rank
! 380: matrix_inverse sm1_reduction
! 381: matrix_kernel sm1_restriction
! 382: matrix_list_to_matrix sm1_saturation
! 383: matrix_matrix_to_list sm1_slope
! 384: matrix_rank sm1_start
! 385: matrix_solve_linear sm1_syz
! 386: matrix_submatrix sm1_wTensor0
! 387: matrix_transpose sm1_xml_tree_to_prefix_string
! 388: om_start tigers
! 389: om_xml util_filter
! 390: om_xml_to_cmo util_find_and_replace
! 391: ox_check_errors2 util_find_substr
! 392: ox_sm1_forAsir util_load_file_as_a_string
! 393: phc util_part
! 394: phc_start util_read_file_as_a_string
! 395: plucker_relation util_remove_cr
! 396: poly_degree util_write_string_to_a_file
! 397: poly_elimination_ideal
! 398: \end{verbatim}
! 399: }
! 400: $B3F4X?t$N%^%K%e%"%k$O(B \\
! 401: {\small \tt
! 402: http://www.math.kobe-u.ac.jp/OpenXM/1.2.2/doc/asir-contrib/html-en/cman-en\_toc.html}
! 403:
! 404:
! 405: \rightline{$B3+H/(B: $BLnO$(B, $BCf;3(B, $B9b;3(B}
! 406:
! 407: \section{$B%5!<%P$N?7$7$$?t3X4X?t(B}
! 408:
! 409: 1.2 $B7O$G$O$^$@?7$7$$%5!<%P$N@\B3:n6H$r$*$3$J$C$F$$$J$$(B.
! 410: $B6a$$$&$A$KB?LLBN$N4v2?(B (polymake, cdd),
! 411: 3D $B%0%i%U%#%C%/%94XO"$N%5!<%P(B (3D Java, JavaView)
! 412: $B$N@\B3$rM=Dj$7$F$$$k(B.
! 413:
! 414: \noindent
! 415: {\tt ox\_asir} $B$K$O<!$N?7$7$$?t3XE*5!G=$,2C$o$C$?(B($BLnO$(B).
! 416: \begin{enumerate}
! 417: \item $BM-8BBN$G$N0x?tJ,2r(B ({\tt OpenXM\_contrib2/asir2000/engine/Fgfs.c}).
! 418: \end{enumerate}
! 419:
! 420: \noindent
! 421: {\tt ox\_sm1} $B$K$O<!$N?7$7$$?t3XE*5!G=$,2C$o$C$?(B($B9b;3(B).
! 422: \begin{enumerate}
! 423: \item Granger-Oaku $B$N(B Tangent Cone $B%"%k%4%j%:%`$N<BAu$N$?$a(B
! 424: $B2r@OE*HyJ,:nMQAG4D$K$*$1$kF1<!2=$r<BAu(B
! 425: ({ring\_of\_differential\_operators, weightHomogenization},
! 426: {\tt OpenXM/src/kan96xx/Kan/poly3.c}).
! 427: \item M.J.Ucha $B$N?7$7$$(B b-$B4X?t%"%k%4%j%:%`$N<BAu$N$?$a(B,
! 428: $B$"$kHyJ,:9J,:nMQAG4D$r<BAu(B
! 429: ({\tt ring\_of\_differential\_difference\_operators}).
! 430: \end{enumerate}
! 431:
! 432:
! 433: \section{ fb --- $BD64v2?4X?t%G%8%?%k8x<0=8$H(B OpenMath }
! 434:
! 435: OpenXM $B$G$O%3!<%I%M!<%`(B fb $B$G(B
! 436: $BD64v2?4X?t$N%G%8%?%k8x<0=8$r8&5f$7$F$$$k(B.
! 437: fb $B$O(B 1.2 $B7O$NL\6L$H$$$($k%b%8%e!<%k$G$"$k(B.
! 438: $B?t3X8x<0=8$N8&5f$O$?$H$($PF|K\$G$O(B, 1980 $BG/Be8eH>$N:4!9LZ$i$N8&5f(B
! 439: $B$,@h6nE*$G$"$k(B \cite{sasaki}.
! 440: $B$3$N8&5f$G$O?t<0$N8!:wK!(B, $B?t<0$N8x<0=8$K$h$k=q$-49$((B,
! 441: $B$*$h$S$=$l$KE,$7$?%G!<%?9=B$$,8&5f$5$l$?(B.
! 442: $B$5$i$K4dGH8x<0=8$r$b$H$K<B:]$N%G%8%?%k8x<0=8$r:n@.$7$?$,(B,
! 443: $BCx:n8"$NLdBj$,$"$j(B, $B8x3+$5$l$F$$$J$$(B.
! 444: $B$3$NN.$l$r$/$_(B, $B$5$i$K(B OpenMath $B$N(B XML $B$G8x<0$rI=8=$9$k8&5f$,(B
! 445: $B?91J(B, $BB<>e(B, $BLnED(B \cite{noda-murakami} $B$K$h$j:G6a?JE8$7$F$$$k(B.
! 446:
! 447: OpenXM $B$N(B fb $B%W%m%8%'%/%H$G$O(B,
! 448: $B<!$N;kE@$+$i%G%8%?%k8x<0=8$N@_7W<BAu$r$*$3$J$C$F$$$k(B.
! 449:
! 450: \begin{enumerate}
! 451: \item Web $B%Y!<%9$N(B Interactive $B$J5!G=$NDs6!(B.
! 452: \item $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B
! 453: $BJ];}$G$-$k8x<0=8(B.
! 454: \item $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k8x<0=8(B.
! 455: \item XML $B$N5!G=$r%U%k$K@8$+$7$?8x<0=8(B.
! 456: \item $BCx:n8"$NLdBj$,$J$$8x<0=8(B.
! 457: \item $BF~NO%_%9$NH/8+$rJd=u$9$k5!G=(B.
! 458: \end{enumerate}
! 459:
! 460: $B0J2<$K$o$l$o$l$N@_7W$N35MW$r5-$9(B.
! 461: \begin{enumerate}
! 462: \item A.Cohen $B$i$N(B Interactive Math Book $B$N%?%0(B(Eindhoven tag library)
! 463: $B$rMQ$$$F(B, Interactive $B$J5!G=$r5-=R$9$k(B \cite{cohen}.
! 464: Interactive $B5!G=$O8x<0=8$K$H$j=EMW$G(B,
! 465: $B$?$H$($P8x<0$r;2>H$9$k$H$-$KJQ?t$NCV$-49$($OJXMx$G$"$k(B.
! 466: \item DocBook \cite{docbook} $B$*$h$S(B OpenMath \cite{openmath}
! 467: $B$N(B XML $B%?%0$r3HD%$7(B,
! 468: formula $B$r(B $B%H%C%W%N!<%I$H$9$kFH<+$N%?%0$r$$$/$D$+Dj5A$7$?(B.
! 469: $B$3$l$i$r$^$H$a$F(B fb XML $B%?%0%;%C%H$H$h$s$G$$$k(B.
! 470: $BD64v2?4X?t$K4XO"$9$k(B OpenMath Content Dictionary $B$,B8:_$7$J$$$?$a(B,
! 471: $B<+J,C#$G(B CD hypergeo0, hypergeo1, hypergeo2, hypergeon0, hypergeon1,
! 472: hypergeon2, weylalgebra1 $B$r3+H/$7$?(B
! 473: (OpenMath CD $B$N(B contrib $B$r;2>H(B \cite{openmath}).
! 474: $B$3$l$K$h$j(B, $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B
! 475: $BJ];}$G$-$k$h$&$K$J$C$?(B.
! 476: %A.Cohen $B$i$N(B Interactive Math Book $B$N%W%m%8%'%/%H$b(B
! 477: %DocBook $B$H(B OpenMath $B$N%?%0$r3HD%$9$k7A$G(B
! 478: %$B8&5f$7$F$$$k(B \cite{cohen}.
! 479: \item OpenMath $B$N(B XML $B$H(B Content Dictionary $B$O(B
! 480: $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k;EAH$_$G$"$k(B.
! 481: $B$?$H$($PA05-$N(B
! 482: $BD64v2?4X?t$K4XO"$9$k(B Content Dictionary $B$r$b$H$K9b;3$O(B
! 483: 1 $B<!85$N@QJ,O)$rI=8=$9$k(B Content Dictionary intpath1
! 484: $B$rDj5A$7(B, $B$3$N(B Content Dictionary $B$OG$0U$N(B 1 $B<!85$N@QJ,O)$r(B
! 485: $BI=8=$G$-$k$3$H$r(B twisted (co)homology $B$NM}O@$rMQ$$$F>ZL@$7$?(B.
! 486: \item fb $B$G$O(B DOM $B$d(B XSL $B$J$I(B XML $B$N5!G=$r%U%k$K@8$+$7(B
! 487: $B8x<0=8$r<BAu$7$?(B. XML $B$N5!G=$,(B $B%G%8%?%k8x<0=8$K$b(B
! 488: $BM-8z$G$"$k$3$H$r3NG'$7$?(B. $B?^(B \ref{figure:fbcom} $B$N(B
! 489: $B3F%3%^%s%I$O<g$K(B Java $B$G<BAu$5$l$F$$$k(B.
! 490: %%Comment: $B$G$b?t<0$N3g8L$N>JN,$N=hM}$OLLE](B.
! 491: \item fb $B$G$O(B 19$B@$5*(B, 20 $B@$5*$ND64v2?4X?t$N%*%j%8%J%kO@J8$r$b$H$K(B
! 492: tfb $B$H$$$&8@8l$r(B
! 493: $B$b$A$$$FF~NO$r$*$3$J$C$F$*$j(B, $BCx:n8"$NLdBj$,$J$$(B.
! 494: tfb $B$O(B OpenMath $B%*%V%8%'%/%H$rI=8=$9$k$?$a$N8@8l$G$"$k(B.
! 495: OpenMath $B%W%m%8%'%/%H$G$O(B OpenMath $B%*%V%8%'%/%H(B $B$rF~NO$9$k$?$a$N(B
! 496: RIACA CD Editor($B%*%i%s%@(B) $B$d(B STAR/MathWriter (Stilo Technology)
! 497: %%Pic: coq-starts.jpg
! 498: $B$J$I$N(BGUI $B7?$N%W%m%0%i%`$,8&5f$5$l$F$$$k(B.
! 499: $B$3$N(B tfb $B$O(B
! 500: OpenMath $B%*%V%8%'%/%H$N87L)$JF~NO$,MF0W$G$"$k$N$rFCD'$H$7$F$$$k(B.
! 501: \item $B8x<0$NF~NO$K$O%_%9$,$D$-$b$N$G$"$k(B.
! 502: fb $B$G$O(B, $B?tCM7W;;$r$b$A$$$FL@$i$+$J8m$j$r8!=P$9$k;EAH$_$rDs6!$7$F$$$k(B.
! 503: $B$3$N;EAH$_$G$O(B OpenXM $BHG$N(B mathematica $B$*$h$S(B asir $B%5!<%P(B
! 504: $B$*$h$SA0=R$N(B OpenXM online $B$rMQ$$$F$$$k(B.
! 505: \end{enumerate}
! 506: $B$J$*(B, (2) $B!A(B (6) $B$O%G%8%?%k8x<0=8$H$7$F?7$7$$;n$_$G$"$k(B.
! 507:
! 508: \begin{figure}[tb]
! 509: \begin{tabular}{|l|l|}
! 510: \hline
! 511: fb XML & DocBook $B%?%0(B(Top), OpenMath $B%?%0(B, MathBook $B%?%0(B,
! 512: formula $B%?%0(B($BFH<+(B) \\ \hline
! 513: fb (tfb) XML &
! 514: DocBook $B%?%0(B(Top), tfb $B%?%0(B($BFH<+(B) , MathBook $B%?%0(B,
! 515: formula $B%?%0(B($BFH<+(B), \\ \hline
! 516: fb (formula) XML &
! 517: formula $B%?%0(B(Top, $BFH<+(B), OpenMath $B%?%0(B,
! 518: DocBook $B%?%0(B ($B0lIt(B) \\ \hline
! 519: fb (formula,tfb) XML &
! 520: formula $B%?%0(B(Top, $BFH<+(B), tfb $B%?%0(B($BFH<+(B),
! 521: DocBook $B%?%0(B ($B0lIt(B) \\ \hline
! 522: \end{tabular}
! 523: \caption{ fb XML $BJ8=q$N%P%j%(!<%7%g%s(B}
! 524: \end{figure}
! 525:
! 526: \begin{figure}[tb]
! 527: \begin{tabular}{|l|l|}
! 528: \hline
! 529: {\tt tfb2fb.sh} & fb (tfb) XML $BJ8=q(B
! 530: $B$r(B fb XML $BJ8=q$XJQ49(B \\ \hline
! 531: & fb (formula,tfb) XML $BJ8=q(B
! 532: $B$r(B fb (formula) XML $BJ8=q$XJQ49(B \\ \hline
! 533: {\tt tfb2ocd.sh} & ($B8_49@-$N$?$a;D$7$F$"$k(B) \\ \hline
! 534: {\tt fb2tex.sh} & fb XML $BJ8=q$h$j(B LaTeX $B$X$NJQ49(B \\ \hline
! 535: {\tt ocd2tex.sh} & ($B8_49@-$N$?$a;D$7$F$"$k(B) \\ \hline
! 536: {\tt formula2tex.sh} & fb (formula) XML $BJ8=q$h$j(B LaTeX $B$X$NJQ49(B \\ \hline
! 537: {\tt asir2tfb.sh} & asir $B7A<0$+$i(B tfb $B7A<0$X$NJQ49(B \\ \hline
! 538: {\tt tfb2asir-check*.sh} & fb (formula,tfb) XML $BJ8=q(B $B$h$j(B
! 539: asir checker $B$X(B.\\ \hline
! 540: {\tt tfb2math-check.sh} & fb (formula,tfb) XML $BJ8=q(B $B$h$j(B
! 541: Mathematica checker $B$X(B.\\ \hline
! 542: \end{tabular}
! 543: \caption{ fb $B$NJQ49%3%^%s%I(B($B0lIt(B)}
! 544: \label{figure:fbcom}
! 545: \end{figure}
! 546:
! 547:
! 548:
! 549: $B<!$O(B fb (formula,tfb) XML$BJ8=q$NNc(B ({\tt fb/formula/h21-0060.tfb}).
! 550: {\small
! 551: \begin{verbatim}
! 552: <?xml version="1.0" encoding="ISO-2022-JP"?>
! 553: <?xml-stylesheet type="text/xsl" href="fb.xsl"?>
! 554: <formula>
! 555: <tfb>
! 556: 2 ~arith1.times~ arith1.root(nums1.pi,2)
! 557: ~arith1.times~ hypergeo0.gamma(a ~arith1.plus~ b ~arith1.plus~
! 558: (1 ~arith1.divide~ 2))
! 559: ~arith1.divide~ hypergeo0.gamma(a ~arith1.plus~ (1 ~arith1.divide~ 2))
! 560: ~arith1.divide~ hypergeo0.gamma(b ~arith1.plus~ (1 ~arith1.divide~ 2))
! 561: ~arith1.times~ hypergeo1.hypergeometric2F1(a,b,1 ~arith1.divide~ 2,x)
! 562: ~relation1.eq~
! 563: (hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
! 564: a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
! 565: 1 ~arith1.plus~ arith1.root(x,2) ~arith1.divide~ 2)
! 566: ~arith1.plus~
! 567: hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
! 568: a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
! 569: 1 ~arith1.minus~ arith1.root(x,2) ~arith1.divide~ 2));
! 570: </tfb>
! 571:
! 572: <editor> Yasushi Tamura </editor>
! 573:
! 574: <description>
! 575: Quadratic transformation of independent variable
! 576: </description>
! 577:
! 578: <reference linkend="goursat1" page="118"/>
! 579:
! 580: <evidence checker="Mathematica">
! 581: @@ /. {a->1/2,b->3/5,c->-2/11,x->0.2}
! 582: </evidence>
! 583:
! 584: </formula>
! 585: \end{verbatim}
! 586: }
! 587:
! 588: %% Prog: tfb-addtex ../../formula/h21-0060.tfb
! 589: %% tfb2fb.sh <../../formula/h21-0060.tfb-auto-tex.tfb | formula2tex.sh >t.tex
! 590: %% platex t
! 591: $B$3$N8x<0$r(B
! 592: TeX $B$X$NJQ49%D!<%k$G%W%l%<%s%F!<%7%g%s7A<0$KJQ49$7$?$b$N$O(B
! 593: \begin{center}$ {\frac{2\,{\sqrt{\pi }}\,\Gamma ({\frac{1}{2}} + a + b)\,{}
! 594: _2 F_1 (a,b,{\frac{1}{2}},x)}{\Gamma ({\frac{1}{2}} + a)\,\Gamma ({\frac{1}{2}}
! 595: + b)}} = {}_2 F_1 (2\,a,2\,b,{\frac{1}{2}} + a + b,{\frac{1 - {\sqrt{x}}}{2}}) +
! 596: {}_2 F_1 (2\,a,2\,b,{\frac{1}{2}} + a + b,{\frac{1 + {\sqrt{x}}}{2}}) $\end{center}
! 597: $B$3$N8x<0$O(B 1881 $BG/$N(B E.Goursat $B$NO@J8$K5-:\$5$l$F$$$k(B
! 598: $BD64v2?4X?t$NFHN)JQ?t$NJQ498x<0$G$"$k(B.
! 599:
! 600:
! 601: \rightline{$B3+H/%A!<%U(B: $BEDB<(B}
! 602: \rightline{$B3+H/(B: $BEDB<(B, $B9b;3(B}
! 603: \rightline{$B8x<0JT=8%a%s%P!<(B:$BEDB<(B, $B9b;3(B,$BCf;3(B,$BF#F2(B,$BD9C+@n(B}
! 604:
! 605: \section{ OpenXM $B4XO"$N=PHGJ*(B }
! 606:
! 607: OpenXM 1.2 $B0J9_$K=PHG$5$l$?;qNA$N%j%9%H(B:
! 608: \begin{enumerate}
! 609: \item \cite{noro} $B$G$O(B Risa/Asir $B$NFbIt9=B$$N35MW$d(B Risa/Asir $B$N(B OpenXM $B$X$N(B
! 610: $BBP1~>u67$,2r@b$7$F$"$k(B.
! 611: \item \cite{asir-book} $B$OF|K\8l$K$h$k(B Risa/Asir $B%W%m%0%i%_%s%0$NF~Lg=q$G$"$k(B.
! 612: OpenXM $B$rMQ$$$?4JC1$JJ,;67W;;$X$NF~Lg$N>O$,$"$k(B.
! 613: \item OpenXM $B$NCfCG5!G=(B, $B6%Ah7W;;(B, $B$J$I$K$D$$$F$NC;$$%S%G%*(B.
! 614: \end{enumerate}
! 615:
! 616: \bigbreak
! 617:
! 618: $B0J>e(B OpenXM 1.2.2 $B$N?75!G=$r35@b$7$?(B.
! 619: $B>\$7$/$O(B {\tt http://www.openxm.org} $B$N(B CVS-web $B$rMQ$$$F%=!<%9%3!<%I(B
! 620: $B$NJQ99MzNr(B
! 621: $B$*$h$S%3%_%C%H;~$N%3%a%s%H$r;2>H$5$l$?$$(B.
! 622:
! 623: \begin{thebibliography}{99}
! 624: \bibitem{cohen}
! 625: A.Cohen, H.Cuypers, E.R.Barreiro, H. Sterk,
! 626: Interactive Mathematical Documents on the Web,
! 627: edited by M.Joswig and N.Takayama:
! 628: {\it Algebra, Geometry and Software Systems}, Springer,
! 629: 289--308, 2003 (to appear).
! 630: %
! 631: \bibitem{docbook}
! 632: {\tt http://www.docbook.org}
! 633: %
! 634: \bibitem{fujimoto}
! 635: M.Fujimoto, M.Suzuki,
! 636: A Handwriting Interface to Various Computer Algebra Systems via
! 637: OpenXM Framework,
! 638: Abstracts of
! 639: 8th International Conference on Applications of Computer Algebra,
! 640: 2002, Volos, Greece.
! 641: 103--104.
! 642: %
! 643: \bibitem{openmath}
! 644: {\tt http://www.openmath.org}
! 645: %
! 646: \bibitem{openxm}
! 647: {\tt http://www.openxm.org}
! 648: %
! 649: \bibitem{rims-1199} $B>.86(B, $B9b;3(B, $BEDB<(B, $BLnO$(B, $BA0@n(B,
! 650: OpenXM 1.1.3 $B$N35MW(B,
! 651: $B?tM}8&9V5fO?(B 1199 (2001 $BG/(B 4 $B7n(B), 179--191.
! 652: %
! 653: \bibitem{ascm2001}
! 654: M.Maekawa, M.Noro, N.Takayama, Y.Tamura, K.Ohara,
! 655: The Design and Implementation of OpenXM-RFC 100 and 101.
! 656: Computer Mathematics, Proceedings of the Fifth Asian Symposium
! 657: (ASCM 2001), edited by Shirayanagi and Yokoyama, World Scientific,
! 658: 102--111, 2001.
! 659: %
! 660: \bibitem{noda-murakami}
! 661: $B?91J(B, $BB<>e(B, $BLnED(B, $B?t3X8x<0%G!<%?%Y!<%9$H(B G $B4X?t(B,
! 662: preprint.
! 663: %
! 664: \bibitem{noro}
! 665: M.Noro
! 666: Computer Algebra System: Risa/Asir,
! 667: edited by M.Joswig and N.Takayama:
! 668: {\it Algebra, Geometry and Software Systems}, Springer,
! 669: 147--162, 2003 (to appear).
! 670: %
! 671: \bibitem{openxm-rfc100}
! 672: M.Noro, N.Takayama,
! 673: Design and Implementation of OpenXM Client-Server Model
! 674: and Common Mathematical Object Format (OpenXM-RFC 100). 1997, 2000. \\
! 675: {\tt http://www.math.sci.kobe-u.ac.jp/OpenXM/OpenXM-RFC.html} or
! 676: {\tt http://www.openxm.org}
! 677: %
! 678: \bibitem{asir-book}
! 679: $BLnO$(B, $B9b;3(B, Risa/Asir $B%I%j%k(B,
! 680: {\tt http://www.math.kobe-u.ac.jp/Asir}
! 681: %%($BG[I[2A3J(B 1,000 $B1_(B ($BAwNAJL(B) or $BAwNA$N$_(B--- $B%"%s%1!<%H$K6(NO$N>l9g(B)
! 682: %
! 683: \bibitem{sasaki}
! 684: T.Sasaki, Y.Masunaga, Y.Saigusa, A.Abe, F.Motoyoshi, M.Sasaki,
! 685: Formula Database in Computer Algebra System GAL,
! 686: $B?tM}8&9V5fO?(B 663, $B72$HHyJ,J}Dx<0$N?t<0=hM}%7%9%F%`$N8&5f(B
! 687: (1988), 3--22.
! 688: %
! 689: \bibitem{solomon} A.Solomon, Distributed Computing for
! 690: Conglomerate Mathematical Systems,
! 691: edited by M.Joswig and N.Takayama:
! 692: {\it Algebra, Geometry and Software Systems}, Springer,
! 693: 309--326, 2003 (to appear).
! 694: \end{thebibliography}
! 695:
! 696: \end{document}
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to rims-2002-12-12-ja.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / Papers