Return to dag-noro.tex CVS log

Up to [local] / OpenXM / doc / Papers

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

1.1     ! noro        1: % $OpenXM$
        !             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:
        !            28: \title{Introduction of a computer algebra system/library Risa/Asir}
        !            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: