Return to dag-noro.tex CVS log

Up to [local] / OpenXM / doc / Papers

Annotation of OpenXM/doc/Papers/dag-noro.tex, Revision 1.2

1.2     ! noro        1: % $OpenXM: OpenXM/doc/Papers/dag-noro.tex,v 1.1 2001/10/03 08:32:58 noro Exp $
1.1       noro        2: \documentstyle[epsf]{slides}
                      3: \newtheorem{df}{Definition}
                      4: \newtheorem{pr}[df]{Proposition}
                      5: \newtheorem{lm}[df]{Lemma}
                      6: \newtheorem{th}[df]{Theorem}
                      7: \newtheorem{co}[df]{Corollary}
                      8: \newtheorem{al}[df]{Algorithm}
                      9: \newtheorem{re}[df]{Remark}
                     10: \newtheorem{ex}[df]{Example}
                     11: \newtheorem{mt}[df]{Method}
                     12: \newtheorem{nt}[df]{Notation}
                     13: \newtheorem{as}[df]{Assumption}
                     14: \newtheorem{pro}[df]{Procedure}
                     15: \newtheorem{prob}[df]{Probrem}
                     16: \newcommand{\qed}{$\Box$}
                     17: \newcommand{\mred}[1]{\smash{\mathop{\hbox{\rightarrowfill}}\limits_{\scriptstyle #1}}}
                     18: \newcommand{\tmred}[1]{\smash{\mathop{\hbox{\rightarrowfill}}\limits_{\scriptstyle #1}\limits^{\scriptstyle *}}}
                     19: \def\gr{Gr\"obner basis }
                     20: \def\st{\, s.t. \,}
                     21: \def\ni{\noindent}
                     22: \def\ve{\vfill\eject}
                     23: \textwidth 9.2in
                     24: \textheight 7.2in
                     25: \columnsep 0.33in
                     26: \topmargin -1in
                     27:
1.2     ! noro       28: \title{OpenXM and a computer algebra system Risa/Asir}
1.1       noro       29:
                     30: \author{Masayuki Noro\\ Kobe University}
                     31: \begin{document}
                     32: \setlength{\parskip}{10pt}
                     33: \maketitle
                     34: \blackandwhite{dagb-noro.tex}
                     35: \end{document}
                     36: