===================================================================
RCS file: /home/cvs/OpenXM/doc/ascm2001p/heterotic-network.tex,v
retrieving revision 1.4
retrieving revision 1.6
diff -u -p -r1.4 -r1.6
--- OpenXM/doc/ascm2001p/heterotic-network.tex	2001/06/20 05:42:47	1.4
+++ OpenXM/doc/ascm2001p/heterotic-network.tex	2001/06/21 03:13:35	1.6
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/ascm2001p/heterotic-network.tex,v 1.3 2001/06/20 02:09:45 takayama Exp $
+% $OpenXM: OpenXM/doc/ascm2001p/heterotic-network.tex,v 1.5 2001/06/21 00:15:34 takayama Exp $
 \section{Applications}
 
 \subsection{Heterogeneous Servers}
@@ -10,7 +10,7 @@ like a subroutine.
 Since OpenXM provides a universal stack machine which does not
 depend on each server, 
 it is relatively easy to install new servers.
-We can build a new computer math system by assembling
+We can build a new mathematical software system by assembling
 different OpenXM servers.
 OpenXM servers currently provide 1077 functions
 \cite{openxm-1077}.
@@ -113,7 +113,7 @@ and $\beta \in {\bf C}^d$.
 The book by Saito, Sturmfels and Takayama \cite{sst-book}
 discusses algorithmic methods to construct series solutions of the GKZ
 system.
-The current Asir-contrib-HG package is built in order to implement
+The current Asir-contrib/Hypergeoemtric package is built in order to implement
 these algorithms.
 What we need for the implementation are mainly
 (1) Gr\"obner basis computation both in the ring of polynomials