An introduction to commutative and noncommutative Gröbner bases

Theoretical Computer Science - Tập 134 - Trang 131-173 - 1994
Teo Mora1
1Department of Mathematics, University of Genova, Via L.B. Alberti 4, 16132 Genova, Italy

Tài liệu tham khảo

Apel, 1988, Gröbnerbasen in nichtkommutativen Algebren und ihre Anwendung, Dissertation

Apel, 1992, G-algebras, Contemp. Math., 131, 195, 10.1090/conm/131.2/1175832

Apel, 1985, An algorithm for calculations in enveloping fields of Lie Algebras, Proc. Conf. Comp. Alg., 231

Apel, 1988, An algorithm for calculations in envelopping fields of Lie algebras, J. Symbolic Comput., 6, 361, 10.1016/S0747-7171(88)80053-1

Auzinger, 1988, An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations, Internat. Ser. Numer. Math., 86, 11, 10.1007/978-3-0348-6303-2_2

Bigatti, 1992, A divide and conquer algorithm for Hilbert-Poincaré Series, Vol. 673, 76

Buchberger, 1965, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal, Ph.D. Thesis

CarràFerro, 1987, Some properties of the lattice points and their applications to differential algebra, Comm. Algebra, 15, 2625, 10.1080/00927878708823555

CarràFerro, 1989, Gröbner bases and differential algebra, Vol. 356, 129

Castro, 1984, Theoreme de division pour les operateurs differentialles et calcul des multiplicites, These 3me cycle, VII

Castro, 1986, Calcul de la dimension et des multiplicites d'un D-module homogene, C.R. Acad. Sci., 302, 487

Galligo, 1982, Algorithmes de calcul de bases standard

Galligo, 1985, Some algorithmic questions on ideals of differential operators, Vol. 204, 413

Gateva-Ivanova, 1988, Algorithmic determination of the global dimension of associative algebras

Gateva-Ivanova, 1989, Global dimension of associative algebras, Vol. 357, 213

Gateva-Ivanova, 1991, Noetherian propoerties and growth of some associative algebras, 143

Gateva-Ivanova, 1992, Gröbner bases in skew polynomial rings, Reports Dept. Math. Univ. Stockholm, 8

Gateva-Ivanova, 1988, On recognizable properties of associative algebras, J. Symbolic Comput., 6, 371, 10.1016/S0747-7171(88)80054-3

Gebauer, 1986, Buchberger's algorithm and staggered linear bases, Proc. SYM-SAC'86, 218, 10.1145/32439.32482

Gianni, 1989, Properties of Gröbner bases under specialization, Vol. 378, 293

Giovini, 1991, “One sugar cube, please”; Selection strategies in Buchberger algorithm, Proc. ISSAC '91, 49, 10.1145/120694.120701

Golod, 1988, Standard Bases and Homology, Lecture Notes in Mathematics, Vol. 1352, 88, 10.1007/BFb0082019

Madlener, 1993, Computing Gröbner bases in monoid and group rings, Proc. ISSAC '93, 10.1145/164081.164139

Mora, 1988, Standard bases and non-noetherianity: non-commutative polynomial rings, Proc. AAECC 4, Vol. 307, 98

Mora, 1988

Mora, 1989, Gröbner bases for non-commutative algebras, Vol. 358, 150

Mora, 1991, La queste del saint Gra(AL), Proc. AAECC-7, 33, 161

Ollivier, 1990, Le problème de l'identifiabilité: approche théorique, méthodes effectives et étude de complexité

Trinks, 1978, Uber Buchbergers Verfahren, Systeme für algebraischen Gleighungen zu lösen, J. Number Theory, 10, 475, 10.1016/0022-314X(78)90019-7

Weispfenning, 1992, Finite Gróbner bases in non-noetherian skew polynomial rings, Proc. ISSAC '92, 329, 10.1145/143242.143346