This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J.Apel,W.Lassner, An extension of Buchberger's algorithm and calculations in envelopping fields of Lie algebras, J.Symb.Comp., to appear.
D. Armbruster,H. Kredel, Constructing Universal Unfoldings using Gröbner Bases, J.Symb.Comp. 2 (1986), pp. 383–388.
B.Buchberger, A critical-pair/completion algorithm for finitely generated ideals in rings, in Logic and machines: Decision problems and complexity, Muenster 1983, Springer LNCS vol. 171.
B.Buchberger, Gröbner bases: An algorithmic method in polynomial ideal theory, chap. 6 in Recent trends in multidimensional system theory, N.K.Bose, Ed., Reidel Publ. Comp., 1985.
A.Furukawa,T.Sasaki,H.Koboyashi, Gröbner bases of a module over K[x1,...,xn] and polynomial solutions of a system of linear equations, Proc. ACM SYMSAC '86, Waterloo 1986, pp. 222–224.
G. Huet, Confluent reductions: Abstract properties and applications to term rewriting systems, J. ACM 27 (1980), pp. 797–821.
A.Kandri-Rody,D.Kapur, Algorithms for computing Gröbner bases of polynomial ideals over various Euclidean rings, in EUROSAM '84, Springer LNCS vol.174, pp. 195–205.
A.Kandri-Rody,V.Weispfenning, Non-commutative Gröbner bases in algebras of solvable type, 1986, J.Symb.Comp., to appear.
D.Kapur,P.Narendran, Constructing a Gröbner basis for a polynomial ideal, presented at the workshop Combinatorial Algorithms in Algebraic Structures, Otzenhausen, Sept. 1985.
D.Kapur,P.Narendran, An equational approach to theorem proving in first-order predicate calculus, GE CRD, Schenectady, N.Y., Sept. 1985.
H.Kredel,V.Weispfenning, Computing dimension and independent sets for polynomial ideals, J.Symb.Comp., to appear.
A.Levy, Basic Set Theory, Springer Verlag 1979.
G. Loullis, Sheaves and boolean valued model theory, Journal of Symbolic Logic 44 (1979), pp. 153–183.
H.M.Möller, On the computation of Gröbner bases in commutative rings, 1985, submitted.
H.M. Möller,F. Mora, New Constructive Methods in Classical Ideal Theory, J.Algebra 100 (1986), pp. 138–178.
F.Mora, Gröbner bases for non-commutative polynomial rings, in AAECC-3, Grenoble 1985, Springer LNCS 229, pp. 353–362.
L.Pan, On the D-bases of ideals in polynomial rings over principal ideal domains, manuscript Sept. 1985.
R.S.Pierce, Modules over commutative regular rings, Memoirs of the AMS, vol. 70, 1967.
D.Saracino,V.Weispfenning, On algebraic curves over commutative regular rings, in Model Theory and Algebra, a memorial tribute to A.Robinson, Springer LNM vol. 489, pp. 307–383.
V. Weispfenning, Model-completeness and elimination of quantifiers for subdirect products of structures, J. Algebra 36 (1975), pp. 252–277.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weispfenning, V. (1989). Gröbner bases for polynomial ideals over commutative regular rings. In: Davenport, J.H. (eds) Eurocal '87. EUROCAL 1987. Lecture Notes in Computer Science, vol 378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51517-8_137
Download citation
DOI: https://doi.org/10.1007/3-540-51517-8_137
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51517-3
Online ISBN: 978-3-540-48207-9
eBook Packages: Springer Book Archive