Return to bib.tex CVS log

Up to [local] / OpenXM / doc / compalg

Annotation of OpenXM/doc/compalg/bib.tex, Revision 1.1

1.1     ! noro        1: \begin{thebibliography}{99}
        !             2: \bibitem{ABBOTT}
        !             3: Abbott, J.A. et al, Factorisation of Polynomials: Old Ideas and Recent Results.
        !             4: Trends in Computer Algebra (LNCS 296), 81-91.
        !             5:
        !             6: \bibitem{ADAMS}
        !             7: Adams, W., Loustaunau, P., An Introduction to Gr\"bner Bases. Graduate
        !             8: Strudies in Mathematics, Vol. 3., AMS (1994).
        !             9:
        !            10: \bibitem{ABRW}
        !            11: Alonso, M. E., Becker, E., Roy, M. F., W\"ormann, T., Zeros,
        !            12: Multiplicities and Idempotents for Zerodimensinal Systems.
        !            13: Proc. MEGA94, Birkh\"auser (1996).
        !            14:
        !            15: \bibitem{BW}
        !            16: Becker, T., Weispfenning, V., Gr\"obner Bases. GTM 141, Springer-Verlag(1993).
        !            17:
        !            18: \bibitem{BERL}
        !            19: Berlekamp, E.R., Factoring Polynomials over Large Finite Fields.
        !            20: Math. Comp. 24 (1970), 713-735.
        !            21:
        !            22: \bibitem{GC}
        !            23: Boehm, H.,Weiser, M., Garbage Collection in an Uncooperative Environment.
        !            24: Software Practice \& Experience(September 1988), 807-820.
        !            25:
        !            26: {\tt http://reality.sgi.com/boehm\_mti/gc.html}
        !            27:
        !            28: \bibitem{BUCH}
        !            29: Buchberger, B., Ein algorithmisches Kriterium {f\"ur} die
        !            30: {L\"osbarkeit} eines algebraischen Geichungssystems. Aequ. Math. 4/3
        !            31: (1970), 374-383.
        !            32:
        !            33: \bibitem{CZ}
        !            34: Cantor, D.G., Zassenhaus, H., On Algorithms for Factoring
        !            35: Polynomials over Finite Fields.
        !            36: Math. Comp. 36 (1981), 587-592.
        !            37:
        !            38: \bibitem{WALK}
        !            39: Collart, M. et al, Converting Bases with the Gr\"obner Walk.
        !            40: J. Symb. Comp. 24/3/4(1997), 465-469.
        !            41:
        !            42: \bibitem{COX}
        !            43: Cox, D., Little, J., O'Shea, D., Ideals, Varieties, and Algorithms.
        !            44: UTM, Springer-Verlag (1992).
        !            45:
        !            46: \bibitem{COX2}
        !            47: Cox, D., Little, J., O'Shea, D., Using Algebraic Geometry.
        !            48: GTM 185, Springer-Verlag (1998).
        !            49:
        !            50: \bibitem{DAV}
        !            51: Davenport, J.H. et al, Computer Algebra. Academic Press (1988).
        !            52:
        !            53: \bibitem{DIXON}
        !            54: Dixon, J. D., Exact Solution of Linear Equations Using P-Adic Expansions.
        !            55: Numerische Mathematik {\bf 40} (1982), 137-141.
        !            56:
        !            57: \bibitem{EISEN}
        !            58: Eisenbud, D., Commutative Algebra with a View Toward Algebraic Geometry.
        !            59: GTM 150, Springer-Verlag (1995).
        !            60:
        !            61: \bibitem{FGLM}
        !            62: Faug\`ere, J.C., Gianni, P., Lazard, D., Mora, T., Efficient
        !            63: Computation of Zero-dimensional Gr\"obnerr Bases by Change of Ordering. J.
        !            64: Symb. Comp. 16/4(1993), 329-344.
        !            65:
        !            66: \bibitem{F}
        !            67: Faug\`ere, J.C.,
        !            68: A new efficient algorithm for computing Groebner bases  ($F_4$),
        !            69: Journal of Pure and Applied Algebra (139) 1-3 (1999), 61-88.
        !            70:
        !            71: \bibitem{GEB}
        !            72: Gebauer, R., M\"oller, H.M., On an installation of Buchberger's algorithm.
        !            73: J. Symb. Comp. 6/2/3(1989), 275-286.
        !            74:
        !            75: \bibitem{GEDDES}
        !            76: Geddes, K.O. et al., Algorithms for Computer Algebra.
        !            77: Kluwer Academic Publishers, Boston (1992).
        !            78:
        !            79: \bibitem{GEL}
        !            80: Gel'fond, A.O., Transcendental and Algebraic Numbers. New York, Dover (1960).
        !            81:
        !            82: \bibitem{GTZ}
        !            83: Gianni, P., Trager, B., Zacharias, G., Gr\"obner bases and primary
        !            84: decomposition of polynomial ideals. J. Symb. Comp. 6/2,3(1988), 149-167.
        !            85:
        !            86: \bibitem{SUGAR}
        !            87: Giovini, A., Mora, T., Nielsi, G., Robbiano, L., Traverso, C., ``One
        !            88: sugar cube, please'' OR Selection strategies in the Buchberger
        !            89: algorithm.  Proc. ISSAC '91, 49-54.
        !            90:
        !            91: \bibitem{KR}
        !            92: $B%+!<%K%O%s(B, B.W., $B%j%C%A!<(B, D.M., $B%W%m%0%i%_%s%08@8l(B C $BBh(B 2 $BHG(B.
        !            93: $B6&N)=PHG(B (1989).
        !            94:
        !            95: \bibitem{KNUTH}
        !            96: Knuth, D.E., The Art of Computer Programming, Vol. 2.
        !            97: Seminumerical Algorithms, 2nd ed. Addison-Wesley (1981).
        !            98:
        !            99: \bibitem{SUB}
        !           100: Loos, R., Generalized Polynomial Remainder Sequences.
        !           101: Computing, Suppl. 4 (1982), 115-137.
        !           102:
        !           103: \bibitem{MIG}
        !           104: Mignotte, M., Mathematics for Computer Algebra.
        !           105: Springer-Verlag (1982).
        !           106:
        !           107: \bibitem{YUN}
        !           108: Moses, J., Yun, D.Y.Y., The EZ GCD Algorithm, Proc. ACM Annual
        !           109: Conf. (1973), 159-166.
        !           110:
        !           111: \bibitem{NAGAO}
        !           112: $B1JHxHF(B, $BBe?t3X(B.
        !           113: $B?7?t3X9V:B(B 4, $BD+AR=qE9(B (1983).
        !           114:
        !           115: \bibitem{REP}
        !           116: Noro, M., J. McKay,
        !           117: Computation of replicable functions on Risa/Asir.
        !           118: Proc. PASCO'97, ACM Press (1997), 130-138.
        !           119:
        !           120: \bibitem{NS}
        !           121: Noro, M. et al, Asir User's Manual, Edition4.2 for  Asir-20000124.
        !           122:
        !           123: {\tt ftp://archives.cs.ehime-u.ac.jp/pub/asir2000}
        !           124:
        !           125: \bibitem{NT}
        !           126: Noro, M., Takeshima, T., Risa/Asir --- A Computer Algebra system.
        !           127: Proc. ISSAC'92, ACM Press(1992), 387-396.
        !           128:
        !           129: \bibitem{NY}
        !           130: Noro, M., Yokoyama, K., New methods for the change-of-ordering in Gr\"obner
        !           131: basis computation. Research Report ISIS-RR-95-8E, FUJITSU LABS, ISIS
        !           132: (1995).
        !           133:
        !           134: \bibitem{NY2}
        !           135: Noro, M., Yokoyama, K., A Modular Method to Compute the
        !           136: Rational Univariate Representation of Zero-Dimensional Ideals.
        !           137: J. Symb. Comp. {\bf 28}/1 (1999), 243-263.
        !           138:
        !           139: \bibitem{OAKU}
        !           140: $BBg0$5W=SB'(B, $B%0%l%V%J4pDl$H@~7?JPHyJ,J}Dx<07O(B ($B7W;;Be?t2r@OF~Lg(B).
        !           141: $B>eCRBg3X?t3X9V5fO?(B No. 38 (1994).
        !           142:
        !           143: \bibitem{ROBBIANO}
        !           144: Robbiano, L., Term orderings on the polynomial ring. Proc. EUROCAL'85 (LNCS 204), 513-517.
        !           145:
        !           146: \bibitem{SASAKI}
        !           147: $B:4!9LZ7z><(B, $B?t<0=hM}(B. $B>pJs=hM}AQ=q(B 7, $B>pJs=hM}3X2q(B (1981).
        !           148:
        !           149: \bibitem{SY}
        !           150: Shimoyama, T., Yokoyaka, K., Localization and Primary Decomposition of
        !           151: Polynomial ideals. J. Symb. Comp. 22(1996), 247-277.
        !           152:
        !           153: \bibitem{TAKAGI}
        !           154: $B9bLZDg<#(B, $B=iEy@0?tO@9V5A(B $BBh(B 2 $BHG(B. $B6&N)=PHG(B (1971).
        !           155:
        !           156: \bibitem{TAKAGI2}
        !           157: $B9bLZDg<#(B, $BBe?t3X9V5A(B $B2~D{?7HG(B. $B6&N)=PHG(B (1965).
        !           158:
        !           159: \bibitem{GMP}
        !           160: Torbj\"orn et al, GNU MP library. Free Software Foundation (1996).
        !           161:
        !           162: {\tt http://www.fsf.org/software/gmp/gmp.html}
        !           163:
        !           164: \bibitem{TRAGER}
        !           165: Trager, B.M., Algebraic Factoring and Rational Function Integration.
        !           166: Proc. SYMSAC 76, 219-226.
        !           167:
        !           168: \bibitem{TRAV}
        !           169: Traverso, C., Gr\"obner trace algorithms. Proc. ISSAC '88 (LNCS 358), 125-138.
        !           170:
        !           171: \bibitem{WANG}
        !           172: Wang, P.S., An Improved Multivariate Polynomial Factoring Algorithm.
        !           173: Math. Comp. 32(1978), 1215-1231.
        !           174:
        !           175: \bibitem{WANG2}
        !           176: Wang, P.S. et al, p-adic Reconstruction of Rational Numbers.
        !           177: SIGSAM Bulletin 16(1982), 2-3.
        !           178:
        !           179: \bibitem{SQFR}
        !           180: Wang, P.S., Trager, B.M., New Algorithms for Polynomial Square-Free Decomposition over the Integers.
        !           181: SIAM J. Comp. 8(1979), 300-305.
        !           182:
        !           183: \bibitem{BMOD}
        !           184: Weber, K., The Accelerated Integer GCD Algorithm. ACM Transactions on Mathematic
        !           185: al Software, Vol. 21, No. 1 (1995), 111-122.
        !           186:
        !           187: \bibitem{SYMP}
        !           188: $B5HED=UIW(B, $B%7%s%W%l%/%F%#%C%/?tCM2rK!(B.
        !           189: $B?tM}2J3X(B, 33, 6 (1995), 27-46.
        !           190:
        !           191: \bibitem{ZASS}
        !           192: Zassenhaus, H., On Hensel Factorization I.
        !           193: J. Number Theory 1 (1969), 291-311.
        !           194: \end{thebibliography}
        !           195:
        !           196: $BK\9V$G$O(B, $BM=HwCN<1$H$7$F(B, $B@~7ABe?t$*$h$SBe?t3X$N4pACE*$JFbMF$r2>Dj$7$F(B
        !           197: $B$$$k(B. $B8e<T$K4X$7$F$O(B, $B6qBNE*$K$O72(B, $B4D(B, $BBN$J$I$NBe?t7O$K4X$9$k4pACE*;v(B
        !           198: $B9`(B, $BFC$KBN$N3HBg$*$h$S%$%G%"%k$K4X$9$kCN<1$r;}$C$F$$$k$3$H$,K>$^$7(B
        !           199: $B$$(B. $BNc$($P(B \cite{NAGAO} $B$J$I$rA&$a$k(B. \cite{KNUTH} $B$O(B, $B?t(B, $BB?9`<0$K4X(B
        !           200: $B$9$k$5$^$6$^$J%"%k%4%j%:%`$,>\:Y$+$D@53N$K2r@b$5$l$F$$$F(B, $B<-=qE*$K;H$((B
        !           201: $B$k(B. \cite{DAV}\cite{GEDDES}\cite{SASAKI} $B$O7W;;5!Be?t$N652J(B
        !           202: $B=q(B. \cite{ADAMS}\cite{BW}\cite{COX}\cite{COX2}\cite{EISEN}\cite{OAKU}
        !           203: $B$O%0%l%V%J4pDl$"$k$$$O2D49Be?t$K4X$9$k652J=q(B. \cite{KR} $B$O(B C $B8@8l$NI8(B
        !           204: $B=`E*$J2r@b=q$G$"$k(B.
        !           205:
        !           206: $B0J2<(B, $B3F>O$K4X$7(B, $B;29M=q(B, $BO@J8$r5s$2$J$,$i4JC1$K?6$jJV$k(B.
        !           207:
        !           208: \noi
        !           209: $BBh(B 2 $B>O(B:
        !           210:
        !           211: $B$3$3$G=R$Y$?$N$O(B, CPU $B$*$h$S(B C $B8@8l$K4X$9$k:GDc8B$N$3$H$,$i$G$"$k(B. CPU
        !           212: $B$K4X$7$F$O(B, $BJ8;zDL$j(B CPU $BKh$K%^%K%e%"%k$,B8:_$9$k$,(B, $B6=L#$N$"$kJ}$O(B,
        !           213: $BNc$($P(B Pentium $B$J$I$N%^%K%e%"%k$rD/$a$F$_$F$O$I$&$@$m$&$+(B. C $B8@8l$K4X(B
        !           214: $B$7$F$O?t$(@Z$l$J$$Dx$N2r@b=q$,$"$k$,(B, $BI.<T$O(B \cite{KR}$B$NB>$K$O(B, $B2?$i$+(B
        !           215: $B$N%U%j!<%=%U%H%&%'%"$N%=!<%9%3!<%I$rFI$`$3$H$r$*4+$a$9$k(B. $BFC$K(B, {\tt
        !           216: gmp} \cite{GMP} $B$OBh(B 3 $B>O$G=R$Y$?%"%k%4%j%:%`$*$h$S$h$j?J$s$@%"%k%4%j%:(B
        !           217: $B%`$,<BAu$5$l$F$*$j(B, $B;29M$K$J$k$H;W$&(B.
        !           218:
        !           219: \noi
        !           220: $BBh(B 3 $B>O(B:
        !           221:
        !           222: $B$3$3$G:G$bM}2r$7$K$/$$$N$O=|;;%"%k%4%j%:%`$G$"$m$&(B. $B3FJdBj$N>ZL@$O(B
        !           223: $B>JN,$7$F$"$k$N$G(B, $BN}=,LdBj$H$7$F2r$$$F$_$l$P=|;;%"%k%4%j%:%`$N;EAH$_(B
        !           224: $B$,$h$/J,$+$k$H;W$&(B. $B$3$l$i$OA4$F(B \cite{KNUTH} $B$K>ZL@$,$"$k(B.
        !           225: $B@0?t(B GCD $B$K$D$$$F$J$K$b=R$Y$J$+$C$?$,(B, Euclid $B8_=|K!$NB>$K(B binary
        !           226: GCD $B%"%k%4%j%:%`$H$h$P$l$k%?%$%W$N%"%k%4%j%:%`$,$"$j(B, $B%O!<%I%&%'%"$N(B
        !           227: $B=|;;$rMQ$$$J$$$?$a9bB.$K<B9T$G$-$k(B. $B$3$l$K4X$7$F$O$d$O$j(B \cite{KNUTH}
        !           228: $B$K2r@b$5$l$F$$$k(B. $B$^$?(B, $B:G6a$3$N%?%$%W$N%"%k%4%j%:%`$r$5$i$K?J2=(B
        !           229: $B$5$;$?$b$N$,Ds0F$5$l$F$$$k(B. $B$3$l$K$D$$$F$O(B \cite{BMOD} $B;2>H(B.
        !           230:
        !           231: \noi
        !           232: $BBh(B 4 $B>O(B:
        !           233:
        !           234: $BB?9`<0$r(B C $B$J$I$N9b5i8@8l$GI=8=$7(B, $B$=$N1i;;$r5-=R$7$F$_$k$3$H$O(B,
        !           235: $B%W%m%0%i%_%s%0$N$h$$N}=,$K$J$k(B. $B$=$N:]$KLdBj$H$J$k$N$,(B, $BITMW$K$J$C$?(B
        !           236: $B%a%b%jNN0h$N3+J|$K4X$9$k$3$H$G$"$k(B. C $B8@8l$G$O$3$l$O%W%m%0%i%^$N(B
        !           237: $B@UG$$G$"$k$,(B, $B$3$l$r<j:n6H$G9T$&$3$H$O(B, $B3+J|$7K:$l$K$h$k%a%b%j%j!<%/(B,
        !           238: $B$"$k$$$OITE,@Z$J3+J|$J$I(B, $B=EBg$+$D8+$D$1$K$/$$%P%0$N860x$H$J$j0W$$(B.
        !           239: $B$3$l$rKI$0$?$a$K(B, \cite{GC} $B$G(B, $B<+F0%,!<%Y%C%8%3%l%/%?IU$-$N%a%b%j(B
        !           240: $B4IM}$,Ds0F$5$l$?(B. $B$3$l$O%U%j!<$J%5%V%k!<%A%s%i%$%V%i%j$H$7$FMxMQ(B
        !           241: $B$G$-$k(B. $B$3$N>O$G$O(B, $BB?9`<0>h;;$N9bB.%"%k%4%j%:%`$H$7$F(B Karatsuba $BK!(B
        !           242: $B$N$_$r<h$j>e$2$?$,(B, $B9b<!(B ($B?t==<!0J>e(B) $B$NB?9`<0$N>h;;$,B?$/I,MW$J>l9g(B
        !           243: $B$K$O(B FFT $B%"%k%4%j%:%`$,M-8z$J>l9g$b$"$k(B. $B$3$l$K$D$$$F$O(B \cite{KNUTH}
        !           244: $B$r;2>H(B.
        !           245:
        !           246: \noi
        !           247: $BBh(B 5 $B>O(B:
        !           248:
        !           249: $B$3$3$G=R$Y$i$l$F$$$k$3$H$N$&$A(B, $B8_=|K!$K4X$9$k$3$H$O(B Euclid $B4D$K$*$$$F(B
        !           250: $B@.$jN)$D(B. $B$^$?(B, $B=*7k<0$K$D$$$F$O(B, $B$=$N=EMW@-$K$b$+$+$o$i$:(B, $B0lHLE*$J(B
        !           251: $BBe?t3X$N9V5A$J$I$G>\$7$/07$o$l$k$3$H$O>/$J$$$H;W$o$l$k(B. \cite{TAKAGI2}
        !           252: $B$J$I$GJY6/$7$F$_$F$[$7$$(B.
        !           253:
        !           254: \noi
        !           255: $BBh(B 6 $B>O(B:
        !           256:
        !           257: $B$3$3$G07$o$l$F$$$kFbMF$O(B, $B7W;;5!Be?t8&5f$K$*$1$k0l$D$N%O%$%i%$%H$H$b8@(B
        !           258: $B$($k$b$N$G$"$k(B. $BFC$K(B, $BM-8BBN>e$NB?9`<00x?tJ,2r$O(B, $BBJ1_6J@~0E9f$J$I$X$N(B
        !           259: $BD>@\$N1~MQ$b$"$j(B, $B8=:_$b3hH/$K8&5f$5$l$F$$$k(B. $B$^$?(B, $BM-M}?tBN>e$N0x?tJ,(B
        !           260: $B2r$b(B, $B?t3X$K$*$1$k<B83%D!<%k$H$7$F7W;;5!Be?t%7%9%F%`$rMQ$$$k>l9g$KBgJQ(B
        !           261: $BM-8z$J5!G=$G$"$k(B. $B$3$N>O$NFbMF$N$&$A(B, $BM-8BBN(B, $BM-M}?tBN>e$N0lJQ?tB?9`<0(B
        !           262: $B$N0x?tJ,2r$K4X$7$F$O(B \cite{KNUTH}, $BB?JQ?tB?9`<0$N0x?tJ,2r$K4X$7$F$O(B
        !           263: \cite{SASAKI} $B$"$k$$$O(B \cite{GEDDES} $B$r;2>H(B.
        !           264:
        !           265: \noi
        !           266: $BBh(B 7 $B>O(B, $BBh(B 8 $B>O(B:
        !           267:
        !           268: $B$3$3$G$O(B, $B%0%l%V%J4pDl(B, Buchberger $B%"%k%4%j%:%`$*$h$S$=$l$i$N1~MQ$K$D(B
        !           269: $B$$$F$4$/4pK\E*$J$3$H$,$i$N$_$K8BDj$7$F=R$Y$F$$$k(B. $B>\$7$/$O(B,
        !           270: \cite{COX} \cite{COX2} $B$r;2>H(B. $BFC$K(B \cite{COX2} $B$OBe?t4v2?(B, $B2D49Be?t(B
        !           271: $B$N8&5f$N$?$a$N%D!<%k$H$J$k%"%k%4%j%:%`$K$D$$$F(B, $B%0%l%V%J4pDl$K8B$i$J$$(B
        !           272: $B:G6a$N@.2L$b4^$a$FI}9-$/5-=R$5$l$F$$$k(B.
        !           273:
        !           274: \noi
        !           275: $BBh(B 9 $B>O(B:
        !           276:
        !           277: $B$3$3$G$O(B, $BM}O@>e$b1~MQ>e$b=EMW$J%$%G%"%k$N=`AGJ,2r$K$D$$$F35@b$7$F$$$k(B.
        !           278: $B%"%k%4%j%:%`$O$5$^$6$^$JItIJ$+$i@.$C$F$*$j(B, $B$=$l$i$N@bL@$K$D$$$F$O(B,
        !           279: \cite{BW} $B$r;2>H(B. $B$J$*(B, $B$3$3$G=R$Y$?$N$H$O0[$J$k=`AGJ,2r%"%k%4%j%:%`$,(B
        !           280: \cite{SY} $B$GDs0F$5$l$F$*$j(B, Risa/Asir $B$K<BAu$5$l$F$$$k(B.
        !           281:
        !           282: \noi
        !           283: $BBh(B 10 $B>O(B, $BBh(B 11 $B>O(B:
        !           284:
        !           285: $B$3$l$i$N>O$O$d$dFC<l$JFbMF$r07$C$F$*$j(B, $B%0%l%V%J4pDl7W;;$r%D!<%k$H$7$F(B
        !           286: $BMQ$$$k>l9g$K$OFC$K0U<1$9$kI,MW$O$J$$(B. $B$7$+$7(B, $B$=$l$rC1$J$kJXMx$J%V%i%C%/(B
        !           287: $B%\%C%/%9$H9M$($k$H(B, $B$A$g$C$H$7$?LdBj$G$b$9$0$K7W;;$,GKC>$7$F$7$^$&$3$H(B
        !           288: $B$OCN$C$F$*$/I,MW$,$"$k(B. $BG$0UF~NO$+$i$N%0%l%V%J4pDl7W;;$K$D$$$F$O(B,
        !           289: $B:G6aDs0F$5$l$?(B $F_4$ $B%"%k%4%j%:%`(B \cite{F} $B$,M-NO$G$"$k$,(B, $B$^$@(B
        !           290: $BHFMQ7W;;5!Be?t%7%9%F%`$J$I$K$O<BAu$5$l$F$$$J$$$h$&$G$"$k(B.
        !           291: $B$^$?(B, change of ordering $B$K$D$$$F$O(B, $B$3$3$G=R$Y$?J}K!$NB>$K(B
        !           292: \cite{WALK} $B$G0[$J$kJ}K!$,Ds0F$5$l$F$$$k(B. modular change of ordering
        !           293: $B$*$h$S(B modular RUR $B$O(B Risa/Asir $B$K<BAu$5$l$F$$$k(B.
        !           294: