version 1.1, 2001/10/03 08:32:58 |
version 1.2, 2001/10/10 06:32:10 |
|
|
% $OpenXM$ |
% $OpenXM: OpenXM/doc/Papers/dag-noro.tex,v 1.1 2001/10/03 08:32:58 noro Exp $ |
\documentstyle[epsf]{slides} |
\documentstyle[epsf]{slides} |
\newtheorem{df}{Definition} |
\newtheorem{df}{Definition} |
\newtheorem{pr}[df]{Proposition} |
\newtheorem{pr}[df]{Proposition} |
|
|
\columnsep 0.33in |
\columnsep 0.33in |
\topmargin -1in |
\topmargin -1in |
|
|
\title{Introduction of a computer algebra system/library Risa/Asir} |
\title{OpenXM and a computer algebra system Risa/Asir} |
|
|
\author{Masayuki Noro\\ Kobe University} |
\author{Masayuki Noro\\ Kobe University} |
\begin{document} |
\begin{document} |