- 1.BUCHBERGER, B. Ein Algorithms zum Auf-finden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. PhD thesis, Universit/it Innsbruck, 1965.Google Scholar
- 2.BUCHBERGER, B. GrSbner bases: An algorithmic method in polynomial ideal theory. In Recent Trends in Multidimensional System Theory, N. K. Bose, Ed. Reidel Publ. Comp., 1985, ch. 6.Google Scholar
- 3.M/3LLER, H. On the construction of grSbner bases using syzygies. J.Symbol. Comput. 6 (1988), 345-359. Google ScholarDigital Library
- 4.SAKAI, K., AND SATO, Y. Boolean grSbner bases. In LA-Symposium in winter, RIMS, Kyoto Univ. (1988), pp. 29-40.Google Scholar
- 5.SAKAI, K., SATO, Y., AND MENJU, S. Boolean grSbner bases(revised). Technical Report 613, ICOT, 1990.Google Scholar
- 6.SARACINO, D., AND WEISPFENNING, V. On algebraic curves over commutative regular rings. In Model Theory and Algebra, a memorial tribute to A.Robinson, @ringer LNM (1975), vol. 498, pp. 307-387.Google Scholar
- 7.SATO, Y. Set constraint solver, a free software developed as a Research Funding Program of AITEC, Research Institute For Advanced Information Technology, ftp://ftp.icot.or.jp/ifs/contract-research/95/DHT- 13/HT-13.tgz, 1995.Google Scholar
- 8.SATO, Y. Application of groebner basis in constraint of non-numerical domains. In The 2nd IMA CS Conference on Applications of Computer Algebra (1996).Google Scholar
- 9.SATO, Y. Nonstandard canonical forms of set constraints. In Second International Conference on Principles and Practice of Constraint Programming, Set Constraints Workshop (1996).Google Scholar
- 10.SATO, Y. Set constraint solver - groebner bases for nonnumerical domains-. In ISSAC'97 Poster Abstracts (1997), pp. 13-14.Google Scholar
- 11.WEISPFENNING, V. GrSbner bases in polynomial ideals over commutative regular rings. In EUROCAL '87, Springer LNCS (1989), J. Davenport, Ed., vol. 378, pp. 336-347. Google ScholarDigital Library
Index Terms
- A new type of canonical Gröbner bases in polynomial rings over Von Neumann regular rings
Recommendations
Comprehensive Gröbner bases and regular rings
Commutative von Neumann regular rings can be viewed as certain subdirect products of fields. So in some sense they can code arbitrary sets of fields. It was shown in 1987 that most of the Grobner basis theory over fields initiated by B. Buchberger can ...
Gröbner bases with coefficients in rings
This article gives a short introduction to the theory of Grobner bases in a class of rings, which includes rings of differential operators and polynomial rings over commutative noetherian rings. A definition of reduced Grobner bases for these rings is ...
Canonical comprehensive Gröbner bases
Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)Comprehensive Gröbner bases for parametric polynomial ideals were introduced, constructed, and studied by the author in 1992. Since then the construction has been implemented in the computer algebra systems ALDES/SAC-2, MAS, REDUCE and MAPLE. A ...
Comments